Edinburgh LCF: A Mechanised Logic of (1979)

by Michael J C Gordon, Robin Milner, Christopher P Wadsworth
Venue:Computation, Lecture Notes in Computer Science 78