APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Guttag, John V., and J. J. Horning. Larch: Languages and Tools for Formal Specification. New York: Springer-Verlag, 1993.

MLA (9th ed.) Citation

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