Semantics of computation (1974)

by Joseph Goguen
Venue:University of Massachusetts at Amherst