LCM 3.0: A Language for describing Conceptual Models
Remco Feenstra, Roelf J. Wieringa · University of Twente Research Information · 1993
The syntax of the conceptual model specification language LCM is defined. LCM uses equational logic to specify data types and order-sorted dynamic logic to specify objects with identity and mutable state. LCM specifies database transactions as finite sets of atomic object transitions.