| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Formal Specification of Programming Languages: A Panoramic Primer | 978-0-13-329052-3 (0-13-329052-2) | 1981 |
| Partial Computation and the Construction of Language Processors | 978-0-13-651415-2 (0-13-651415-4) | 1990 |