| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| A Modern Perspective on Type Theory: From its Origins until Today | 978-1-4020-2334-7 (1-4020-2334-0) | 2004 | T. Laan · Rob Nederpelt |
| Thirty Five Years of Automating Mathematics | 978-1-4020-1656-1 (1-4020-1656-5) | 2003 | |