SMS versenden: Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : Gullane, Scotland, September 1-4, 1987, selected papers / D. Sannella, A. Tarlecki (eds.).