AuthorHouse · HarperCollins · Springer, Berlin
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| BLOOD BROTHERS | 978-1-4208-4485-6 (1-4208-4485-7) | 2005 | ||
| Human Cybernetics | 978-0-00-000001-9 (0-00-000001-9) | 1990 | ||
| 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 | 978-3-540-25559-8 (3-540-25559-1) | 2008 | Helen Treharne · Martin Henson · Steve Schneider | |