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