Creates "a semantic model within which a core of the stable aspects of LCL [i.e. Larch interface languages] have been formally defined and the unsettled aspects of the language have been highlighted."--Cf. leaf 178.