Lattice theory, data type and semantics (1972)

by D S Scott
Venue:In Formal semantics of programming languages