J. G. · S. G. · S.J. · S. J. Goldsack S. J. H. Kent
Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Ada for Specification: Possibilities and Limitations | 978-0-521-30853-3 (0-521-30853-4) | 1985 | ||
| Formal Methods and Object Technology | 978-3-540-19977-9 (3-540-19977-2) | 1996 | S. J. Kent | |