Wenzel, M. M. (2002). Isabelle, Isar - a versatile environment for human readable formal proof documents.
Chicago-Zitierstil (17. Ausg.)Wenzel, Markus Michael. Isabelle, Isar - a Versatile Environment for Human Readable Formal Proof Documents. 2002.
MLA-Zitierstil (9. Ausg.)Wenzel, Markus Michael. Isabelle, Isar - a Versatile Environment for Human Readable Formal Proof Documents. 2002.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.