1. Foundations of constructive analysis;Bishop,1967
2. Uber Definitionsbereiche von Funktionen;Brouwer;Math. Ann.,1927
3. Systems of predicative analysis;Feferman;J. Symb. Logic,1964
4. Feferman, S., this volume, pp.121–135.
5. Friedman, H., Thesis, Massachusetts Institute for Technology, 1967.