Regensburger, F. (1994). HOLCF: Eine konservative Erweiterung von HOL um LCF.
Chicago-Zitierstil (17. Ausg.)Regensburger, Franz. HOLCF: Eine Konservative Erweiterung Von HOL Um LCF. 1994.
MLA-Zitierstil (9. Ausg.)Regensburger, Franz. HOLCF: Eine Konservative Erweiterung Von HOL Um LCF. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.