| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Hardware-dependent Software: Principles and Practice | 978-1-4020-9435-4 (1-4020-9435-3) | 2009 | Wolfgang Ecker · Wolfgang Müller |
| SPECC: Specification Language and Methodology | 978-0-7923-7822-8 (0-7923-7822-9) | 2000 | Daniel D. Gajski · Jianwen Zhu · Andreas Gerstlauer · Shuqing Zhao |
| System Design: A Practical Guide with SpecC | 978-0-7923-7387-2 (0-7923-7387-1) | 2001 | Andreas Gerstlauer · Junyu Peng · Daniel D. Gajski |