Recent trends in data type specification 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / - Astesiano, E.; Reggio, Gianna,; Tarlecki, Andrzej. (Lecture notes in computer science;)