Program semantics and mechanized proof (1976)

by R Milner
Venue:In: Foundations of Computer Science II