| year of publication | ISBN | author(s) | title |
|---|---|---|---|
| 1970 | 978-0-902928-00-8 | Dana Scott | Lattice of Flow Diagrams (Technical monographs/Oxford University Computing Laboratory. Programming Research Group) |
| '' | 978-0-902928-01-5 | '' | Outline of a Mathematical Theory of Computation (Technical monographs/Oxford University Computing Laboratory. Programming Research Group) |
| 1971 | 978-0-902928-02-2 | '' | Continuous Lattices (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 |