A Mechanized Logic of Computation (1979)

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