Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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