Bentley Publishers · Cambridge University Press · Gearbooks LLC · Palgrave Macmillan
| title | ISBN-13 | year of publica- tion |
|---|---|---|
| BMW Z4: Design, Development and Production | 978-0-8376-1246-1 | 2005 |
| BMW Z4: Design, Development and Production--How BMW Creates the Ultimate Driving Machines | 978-0-9754984-0-8 | 2004 |
| Formal Specification Using Z | 978-0-333-76327-8 | 2000 |
| How New Languages Emerge | 978-0-521-67629-8 | 2006 |