Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers - Workshop on Specification of Abstract Data Types; Sannella, Donald; Tarlecki, Andrzej (Lecture notes in computer science, 1988)