| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| Effective Functional Verification | Gebunden | 978-0-387-50929-7 (0-387-50929-1) | 1989 |
| Effective Functional Verification: Principles and Processes | Paperback | 978-1-4614-9836-0 (1-4614-9836-8) | 2014 |
| Effective Functional Verification: Principles and Processes | Hardcover | 978-0-387-28601-3 (0-387-28601-2) | 2006 |