Cambridge University Press · Prentice Hall
| title | media type | ISBN-13 | year of publication |
|---|---|---|---|
| Principles of Programming Languages | Hardcover | 978-0-13-709873-6 | 1981 |
| Semantics of Programming Languages | Paperback | 978-0-13-805599-8 | 1991 |
| Semantics of Programming Languages | Hardcover | 978-0-13-805607-0 | 1991 |
| Specifying Software: A Hands-On Introduction | Paperback | 978-0-521-00401-5 | 2010 |
| Specifying Software: A Hands-On Introduction | Hardcover | 978-0-521-80814-9 | 2002 |