Paulson, L. C. (1988). A preliminary user's manual for Isabelle.
Chicago-Zitierstil (17. Ausg.)Paulson, Lawrence C. A Preliminary User's Manual for Isabelle. Cambridge, 1988.
MLA-Zitierstil (9. Ausg.)Paulson, Lawrence C. A Preliminary User's Manual for Isabelle. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.