| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Compiling Functional Languages | 978-0-471-92027-4 (0-471-92027-4) | 1988 |
| LaTeX: Line by Line: Tips and Techniques for Document Processing, 2nd Edition | 978-0-471-97918-0 (0-471-97918-X) | 1999 |
| Z 2e | 978-0-471-93973-3 (0-471-93973-0) | 1994 |