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, Egidio (Verfasser); Reggio, Gianna (Verfasser); Tarlecki, Andrzej (Verfasser) (Lecture Notes in Computer Science, 1995)