Edinburgh LCF: a mechanized logic of computation", LNCS 78 (1978)

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