Edinburgh LCF: A mechanised logic of computation, LNCS 78 (1979)

by M Gordon, R Milner, C Wadsworth