Edinburgh LCF: a mechanized logic of computation (1979)

by M Gordon, R Milner, C Wadsworth
Venue:Lecture Notes in Computer Science