| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Description Techniques IX: Theory, application and tools: No. 9 | 978-O-412-7949O-2 (O-412-7949O-X) | 1996 | J. Bredereke |
R. Gatignol · R GOTTESMAN · R. Gotzen · Reinhard Gotzhein · Roy Godson