Tekstiviesti: Recent tends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1987, proceedings / D. Sannella, A Tarlecki, eds.