| year of publication | ISBN | author(s) | title |
|---|---|---|---|
| 1970 | 978-0-902928-01-5 | Dana Scott | Outline of a Mathematical Theory of Computation (Technical monographs / Oxford University Computing Laboratory. Programming Research Group) |
| 1974 | 978-0-902928-09-1 | Christopher Strachey | Continuations: A mathematical semantics for handling full jumps (Technical monographs / Oxford University Computing Laboratory. Programming Research Group) |
| 1983 | 978-0-902928-18-3 | Peter Henderson ยท etc. | LISPkit Manual |