in 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 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 906, Pages: 420-436
Conference
10Th Workshop on Specification of Abstract Data Types Was Held Joint with the 5Th Compass Workshop, 1994, Date: 30 May 1994 through 3 June 1994