Edinburgh LCF: A mechanised logic of computation (1979)

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