Lattice Theory, Data Types and Semantics (1972)

by D S Scott
Venue:Courant Computer Science Symposia. PrenticeHall