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. 5, pp. 24-36, September/October 1985, doi:10.1109/MS.1985.231756