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