Gilles Kahn David B. MacQueen Gordon D. Plotkin Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings Semantics of Data Types Lecture Notes in Computer Science 173 Springer 1984 3-540-13346-1 db/conf/sdt/sdt1984.html