(2006). The Mondex challenge: Machine checked proofs for an electronic purse. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. Augsburg: Inst. für Informatik, 2006.
MLA-Zitierstil (9. Ausg.)The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. Inst. für Informatik, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.