| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Semantics of Programming Languages: Structures and Techniques | Hardcover | 978-0-262-07143-7 | 1992 | |
| Semantics of Programming Languages: Structures and Techniques | Paperback | 978-0-262-57095-4 | 1992 | |
| Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design | Hardcover | 978-0-262-07155-0 | 1994 | John C. Mitchell |
| Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design | Paperback | 978-0-262-52632-6 | 1994 | " |