@book{ab0effa91f834c83810dbfa24cea40ac,
title = "LCM 3.0: A Language for describing Conceptual Models",
abstract = "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.",
keywords = "EWI-10715, IR-80478, SCS-Services",
author = "Remco Feenstra and Wieringa, \{Roelf J.\}",
year = "1993",
month = dec,
day = "21",
language = "Undefined",
series = "Technical Report / Faculty of Mathematics and Computer Science",
publisher = "Vrije Universiteit",
number = "IR-344",
address = "Netherlands",
}