1. An introduction to inductive definitions. In: Handbook of Mathematical Logic (ed.), North-Holland Publ. Comp., Amsterdam 1970, pp. 739–782.
2. Inductive definitions. In: Generalized Recursion Theory ( and , eds.), North-Holland Publ. Comp., Amsterdam 1974, pp. 265–300.
3. New Foudations for Recursion Theory. Doctoral Dissertation, Math. Inst. Oxford, 1980.
4. Operating on the universe
5. Elementary Induction on Abstract Structures. North-Holland Publ. Comp., Amsterdam 1974.