C.P.: Edinburgh LCF: A Mechanized Logic of Computation. Volume 78 of LNCS (1979)

by M J C Gordon, R Milner, Wadsworth