APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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