College Publications · No Starch Press
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Algorithmic Thinking: A Problem-Based Introduction | 978-1-7185-0080-8 (1-7185-0080-7) | 2020 |
| Invariants: A Generative Approach to Programming: A Generative Appraoch to Programming | 978-1-904987-83-3 (1-904987-83-4) | 2008 |