Garland, S. J., & Guttag, J. V. (1991). A guide to LP, the Larch Prover.
Chicago-Zitierstil (17. Ausg.)Garland, Stephen J., und John V. Guttag. A Guide to LP, the Larch Prover. Palo Alto, Calif, 1991.
MLA-Zitierstil (9. Ausg.)Garland, Stephen J., und John V. Guttag. A Guide to LP, the Larch Prover. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.