Semantics of Data Types - Kahn, G. (Lecture Notes in Computer Science Ser.)