Semantics of data types : Internat. symp., Sophia-Antipolis, France, - Burstall, R. (Lecture notes in computer science, 1984)