4 books found
by Workshop on Specification of Abstract Data Types (8th 1991 Dourdan, France)
by Workshop on Specification of Abstract Data Types (7th 1990 Wusterhausen, Brandenburg, Germany)