APA (7th ed.) Citation

Garland, S. J., & Guttag, J. V. (1991). A guide to LP, the Larch Prover.

Chicago Style (17th ed.) Citation

Garland, Stephen J., and John V. Guttag. A Guide to LP, the Larch Prover. Palo Alto, Calif, 1991.

MLA (9th ed.) Citation

Garland, Stephen J., and John V. Guttag. A Guide to LP, the Larch Prover. 1991.