Edinburgh LCF - A mechanised logic of computation (1979)

by M J Gordon, A J Milner, C P Wadsworth
Venue:of Lecture Notes in Computer Science