From LCF to HOL: a short history (2000)

by Mike Gordon
Venue:Proof, Language, and Interaction