| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| An Introduction to the B Abstract Machine Notation | 978-0-07-709014-2 (0-07-709014-4) | 1995 | K. Lano |
| Object-Oriented Specification Case Studies | 978-0-13-097015-2 (0-13-097015-8) | 1969 | " |
| Reverse Engineering and Software Maintenance: A Practical Approach | 978-0-07-707897-3 (0-07-707897-7) | 1993 | " |
H.H. · Howard Haughton · Hugh (Comp Haughton · Hugh Haughton · Natalie H. Haughton · Natalie Hartanov Haughton