1. Inductive definitions and their closure ordinals. In: Generalized Recursion Theory (and , eds.), North-Holland Publ. Comp., Amsterdam 1974, pp. 207–220.
2. Admissible Sets and Structures. Springer-Verlag, Berlin–Heidelberg–New York 1975.
3. Lecture Notes;Boos,1974
4. Ordinal recursion and inductive definitions. In: Generalized Recursion Theory (and , eds.), North-Holland Publ. Comp., Amsterdam 1974, pp. 221–264.
5. On Non-Monotone ∑21 Inductive Definitions