PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE
John V. Guttag, J. J. Horning · DSpace@MIT (Massachusetts Institute of Technology) · 1983
Each member of the Larch family of formal specification languages has a component derived from a programming language and another component common to all programming languages. We call the former interface languages, and the latter the Larch Shared Language.