From LCF to HOL: a short history’, Proof, language and interaction: essays (2000)

by M Gordon
Venue:in honour of Robin Milner, Foundations of Computing