| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| An Introduction to Artificial Intelligence | 978-1-85728-399-0 (1-85728-399-6) | 1996 | Janet Finlay |
| Formal Methods for Interactive Systems | 978-0-12-218315-7 (0-12-218315-0) | 1991 | |
A. D. · A. Dix · A. J. · A. J. Dix · A John · Alan Dix · Alan J. · Alan J. Dix · J.D. · J. Dix · John D. · John Dix