1. J. K. Barwise, Admissible sets and structures (Springer, Berlin, 1975).
2. Lecture Notes in Mathematics;K. J. Devlin,1973
3. K. J. Devlin, Constructibility, in: J. K. Barwise (ed.). Handbook of Mathematical Logic (North-Holland, Amsterdam, 1977).
4. M. Dietzfelbinger, Strong reducibilities in α-and β-recursion theory (Diplomarbeit, München, 1982).
5. F. R. Drake, Set theory: An introduction to large cardinals (North-Holland, Amsterdam, 1974).