Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 - Sannella, D.; Tarlecki, Andrzej. (Springer-Verlag, 1988)