Noel, P. A. (1989). Experimenting with Isabelle in ZF set theory.
Chicago-Zitierstil (17. Ausg.)Noel, P. A. Experimenting with Isabelle in ZF Set Theory. Cambridge, 1989.
MLA-Zitierstil (9. Ausg.)Noel, P. A. Experimenting with Isabelle in ZF Set Theory. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.