Paulson, L. C. (1994). Isabelle: A generic theorem prover. Springer.
Chicago-Zitierstil (17. Ausg.)Paulson, Lawrence C. Isabelle: A Generic Theorem Prover. Berlin [u.a.]: Springer, 1994.
MLA-Zitierstil (9. Ausg.)Paulson, Lawrence C. Isabelle: A Generic Theorem Prover. Springer, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.