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 (Springer, 1996)