From LCF to HOL: a short history (2000)

by M Gordon
Venue:In Proof, Language, and Interaction