| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Held in Montreal, ... in Information and Communication Technology) | 978-O-412-7327O-6 (O-412-7327O-X) | 1996 | Gregor von Bochmann · Rachida Dssouli |