Issue No. 05 - September/October (1985 vol. 2)
J.V. Guttag , Massachusetts Institute of Technology
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.
J. Guttag, J. Wing and J. Horning, "The Larch Family of Specification Languages," in IEEE Software, vol. 2, no. , pp. 24-36, 1985.