| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Applications of Formal Methods | 978-0-13-366949-7 | 1995 | Michael G. Hinchey | |
| Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 | 978-0-387-19884-2 | 1994 | ||
| Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 | 978-3-540-19884-0 | 1994 | J.A. Hall | |
| Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 | 978-0-387-19818-7 | 1993 | ||
| Z User Workshop, London 1992: Proceedings Of The Seventh Annual Z User Meeting, London 14-15 December 1992 | 978-3-540-19818-5 | 1993 | ||
BOWEN J P · J.B. · J. Bowen · J. P. · John P. Bowen · Jonathan P. Bowen