Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers - Dahl, Ole-Johan, 1931-; Haveraaen, Magne; Owe, Olaf (Lecture notes in computer science, 1996)