APA-Zitierstil (7. Ausg.)

Guttag, J. V., & Horning, J. J. (1993). Larch: Languages and tools for formal specification. Springer.

Chicago-Zitierstil (17. Ausg.)

Guttag, John V., und James J. Horning. Larch: Languages and Tools for Formal Specification. New York [u.a.]: Springer, 1993.

MLA-Zitierstil (9. Ausg.)

Guttag, John V., und James J. Horning. Larch: Languages and Tools for Formal Specification. Springer, 1993.