Edinburgh LCF: a Mechanized Logic of Computation, volume 78 of LNCS (1979)

by M Gordon, R Milner, C Wadsworth