| title | ISBN-13 | year of publication |
|---|---|---|
| Programming from first principles | 978-0-13-729104-5 | 1987 |
| Programming from First Principles | 978-0-13-729112-0 | 1986 |
| Proof and Disproof in Formal Logic | 978-0-19-853026-8 | 2005 |
| Proof and Disproof in Formal Logic: An Introduction For Programmers | 978-0-19-853027-5 | 2005 |
| Understanding and Writing Compilers | 978-0-333-21731-3 | 1979 |
| Understanding and Writing Compilers: A do-it-yourself guide | 978-0-333-21732-0 | 1979 |
Oxford University Press · Palgrave Macmillan · Prentice Hall