HOLCF eine konservative Erweiterung von HOL um LCF - Regensburger, Franz (1994)