| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| A Theory and Practice of Program Development | 978-3-540-76162-4 (3-540-76162-4) | 1997 | ||
| Semantics of Specification Languages | 978-0-387-19854-5 (0-387-19854-7) | 1994 | J. F. Groote | |
| Semantics of Specification Languages : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 | 978-3-540-19854-3 (3-540-19854-7) | 2013 | ||
D.A. · D. Andrews · D. J. · Derek Andrews · J. A. · J. Andrews