| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| A Manual of Operation for the Automated Sequence Controlled Calculator | 978-0-262-51379-1 (0-262-51379-X) | 2003 |
| Proceedings of a Symposium on Large-Scale Digital Calculating Machinery | 978-0-262-51459-0 (0-262-51459-1) | 2003 |