Springer · World Scientific Pub Co Inc
| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Computer-Aided Specification Techniques | 978-9971-5-0095-5 | 1986 | |
| Fundamentals of Computation Theory: International Conference Fct'89 Szeged, Hungary, August 21-25, 1989 Proceedings | 978-0-387-51498-7 | 1989 | J. Csirik |
| Mfdbs 89 | 978-0-387-51251-8 | 1989 | |
| Mfdbs 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Based Systems, Rostock, Germany, May 6-9, 1991: Proceedings | 978-0-387-54009-2 | 1991 | B. Thalheim |