| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Progress in Applications of Boolean Functions | 978-1-60845-181-4 (1-60845-181-X) | 2010 | Tsutomu Sasao |
| Synthesis Series on Digital Circuits and Systems | 978-1-60845-550-8 (1-60845-550-5) | 2011 | Richard Tinder · Tsutomu Sasao · Lun Li · Mitchell A. Thornton |