1. Abramson, F., ∑1-Separation, to appear in JSL.
2. Barwise, J.,Admissible Sets and Structures, Springer, 1975.
3. Devlin,K.J.,Aspects of Constructibility,Springer Lecture Notes #354, 1973.
4. Friedman, S.D.,Recursion on Inadmissable Ordinals, Ph.D. Thesis, M.I.T., 1976.
5. Friedman, S.D., β-Recursiqn Theory, to appear. Transactions AMS.