| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Computer Science Reconsidered: The Invocation Model of Process Expression | 978-0-471-79814-9 (0-471-79814-2) | 2007 |
| Logically Determined Design: Clockless System Design with NULL Convention Logic | 978-0-471-68478-7 (0-471-68478-3) | 2005 |