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 / - Haveraaen, Magne.; Owe, Olaf.; Dahl, Ole-Johan, (Springer,, 1996)