| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Anticipation: The Real Life Story of Star Wars: Episode I-The Phantom Menace | Paperback | 978-0-595-34732-2 | 2005 | |
| Formal Specification and Documentation Using Z: A Case Study Approach | " | 978-1-85032-230-6 | 1996 | |
| The Turing Guide | Hardcover | 978-0-19-874782-6 | 2017 | Jack Copeland · Mark Sprevak · Robin Wilson |
| The Turing Guide | Paperback | 978-0-19-874783-3 | 2017 | Jack Copeland · Mark Sprevak · Robin Wilson |
| Towards Verified Systems | Hardcover | 978-0-444-89901-9 | 1994 | |
Bowen Jonathan · J.B. · J. Bowen · Jonathan L. Bowen · Jonathan P. Bowen
Cengage Learning EMEA · Elsevier Science · Oxford University Press · iUniverse, Inc.