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.V. Guttag, J.J. Horning, J.M. Wing, "The Larch Family of Specification Languages", IEEE Software, vol. 2, no. , pp. 24-36, September/October 1985, doi:10.1109/MS.1985.231756