| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave | 978-O-387-57867-5 (O-387-57867-6) | 1994 | Workshop on Specification of Abstract Data Types 1992 Caldes De malav · Hartmut Ehrig |