Edinburgh LCF: a mechanized logic of computation. Springer-Verlag (1979)

by M J Gordon, R Milner, C P Wadsworth