1. E. Bishop and D. Bridges. Constructive Analysis. Springer-Verlag. 1985.
2. Structure in Complexity Theory;S Buss,1986
3. Alan Cobham. The intrinsic computational difficulty of functions. In Y. Bar-Hillel ed., Proc. of the 1964 International Congress for Logic, Methodology, and the Philosophy of Science, pp. 24–30. North Holland, Amsterdam, 1964.
4. Robert Constable. Type two computational complexity, Proc. 5th STOC (1973) 108–121.
5. Stephen Cook. The complexity of theorem-proving procedures, Proc. 3rd STOC (1971) 151–158.