(1999). Formal proof. Kluwer.
Chicago-Zitierstil (17. Ausg.)Formal Proof. Dordrecht [u.a.]: Kluwer, 1999.
MLA-Zitierstil (9. Ausg.)Formal Proof. Kluwer, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.
APA-Zitierstil (7. Ausg.)