On the language design and semantic foundation of lcl, a larch/c interface specification language
Peter D. Grogono, Patrice Chalin · 1996
Creates 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.