| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Assertion-Based Design | 978-1-4020-8027-2 (1-4020-8027-1) | 2004 | Harry D. Foster · Adam C. Krolnik |
| Assertion-Based Design | 978-1-4020-7498-1 (1-4020-7498-0) | 2003 | Harry D. Foster · Adam C. Krolnik |
| アサーションベース設計 原書2版 asaーshombeーsusekkei gensho2ban/ | 978-4-621-07449-7 (4-621-07449-0) | 2004 | Harry D. Foster · Adam C. Krolnik |
D. J. · David J. · David L. · David Lacey · J. L.