Gitsels, M. (1998). Mechanizing proofs of program properties ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Gitsels, Martin. Mechanizing Proofs of Program Properties. [Mikrofiche-Ausg.]. 1998.
MLA-Zitierstil (9. Ausg.)Gitsels, Martin. Mechanizing Proofs of Program Properties. [Mikrofiche-Ausg.]. 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.