APA (7th ed.) Citation

(1993). Larch: Languages and tools for formal specification / John V. Guttag, James J. Horning ; with S.J. Garland [and others].

Chicago Style (17th ed.) Citation

Larch: Languages and Tools for Formal Specification / John V. Guttag, James J. Horning ; with S.J. Garland [and Others]. 1993.

MLA (9th ed.) Citation

Larch: Languages and Tools for Formal Specification / John V. Guttag, James J. Horning ; with S.J. Garland [and Others]. 1993.