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 - Tarlecki, Andrzej; Astesiano, E. (Egidio), 1939-; Reggio, Gianna, 1957- (Lecture notes in computer science, 1995)