| title | media type | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|---|
| A Practical Theory of Programming | Hardcover | 978-0-387-94106-6 (0-387-94106-1) | 1993 | |
| A Practical Theory of Programming | Gebunden | 978-3-540-94106-4 (3-540-94106-1) | 1993 | |
| Logic of Programming | Hardcover | 978-0-13-539966-8 (0-13-539966-1) | 1985 |
C.H. · C.R. · E C. · E.H. · E -R · R. H.