@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 = "Faculty of Mathematics and Computer Science, Vrije Universiteit",

number = "IR-344",

}