Wong, W. (1993). Recording Hol proofs.
Chicago-Zitierstil (17. Ausg.)Wong, Wai. Recording Hol Proofs. Cambridge, 1993.
MLA-Zitierstil (9. Ausg.)Wong, Wai. Recording Hol Proofs. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.