| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| SPECC: Specification Language and Methodology | 978-O-7923-7822-8 (O-7923-7822-9) | 2000 | Daniel D. Gajski · Jianwen Zhu · Rainer Dömer · Andreas Gerstlauer |
Shaozhang Zhu · Shichang Zou · Shuigeng Zhou · Suisheng Zhao · Suzhong Zhao