| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Ada: Language and Methodology | 978-0-13-004078-7 (0-13-004078-9) | 1987 | David A. Watt · William Findlay |
| ALGOL 60 compilation and assessment | 978-0-12-748250-7 (0-12-748250-4) | 1973 | |
| Software in Safety-related Systems | 978-0-471-93474-5 (0-471-93474-7) | 1992 | |
A. W. · B. A. · B.A. Wichmann · B. W. · Brian A. · Brian W. · Brian Wichmann
Academic Press · Prentice Hall · Wiley