| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| FORTH | Spiral-bound | 978-0-273-02108-7 | 1984 | ||
| FORTH Programming | Paperback | 978-0-13-326356-5 | 1984 | ||
| Sinclair Spectrum | " | 978-0-273-02075-2 | 1984 | ||
| Topology via Logic | " | 978-0-521-57651-2 | 2008 | ||
| Topology via Logic | Hardcover | 978-0-521-36062-3 | 1989 | ||
| Universal Availability of Publications . A programme to improve the national and international provision and supply of information | Gebunden | 978-3-598-20387-9 | 1983 | Maurice Line | |
Cambridge University Press · De Gruyter Saur · Pearson Education · Prentice Hall