| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| BLOOD BROTHERS | | 978-1-4208-4485-6 | 2005 |
| Clinchfield Country | | 978-1-879314-01-6 | 1989 |
| Dataflex Developers' Handbook: Advanced Database Solutions for Business | | 978-0-915381-90-6 | 1988 | Juan E. Jimenez |
| Human Cybernetics | | 978-0-00-000001-9 | 1990 |
| ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ... Notes in Computer Science, Band 1878) | | 978-3-540-67944-8 | 2008 | Jonathan P. Bowen · Steve Dunne · Andy Galloway |
| ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings | | 978-3-540-40253-4 | 2003 | Didier Bert · Jonathan P. Bowen · Marina Waldén |
| ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... Notes in Computer Science , Band 3455) | | 978-3-540-25559-8 | 2008 | Martin Henson · Helen Treharne · Steve Schneider |