Oxford University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Mathematical Structures for Software Engineering | 978-0-19-853627-7 (0-19-853627-5) | 1991 | etc. |
| Software Certification | 978-1-85166-380-4 (1-85166-380-0) | 1989 | |
B.-D · B. de Neumann · Bernard D · Bernard-N · D. Neumann