| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Algorithm specification | 978-0-13-022319-7 | 1972 | |
| Computer Networks: Symposium 1970 | 978-0-13-166108-0 | 1972 | |
| Data Base Systems. Courant Computer Science Symposium 6 | 978-0-13-196741-0 | 1972 | |
| Debugging techniques in large systems | 978-0-13-197319-0 | 1971 | |
| Design and Optimization of Compilers | 978-0-13-200204-2 | 1972 | Courant Computer Science Symposium New York 1971 5th |
| Formal Semantics of Programming Languages | 978-0-13-329060-8 | 1972 | |