Edinburgh LCF, A Mechanized Logic (1979)

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