Edinburgh LCF: a mechanized logic of computation (1979)

by Michael Gordon, Robin Milner, Christopher Wadsworth
Venue:Lecture Notes in Computer Science