1. E. Bishop,Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
2. L. E. J. Brouwer, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil. Verh. Niederl. Akad. Wetensch. Afd. Natuurk. Sect. I12 (1919), 7.
3. J. Hartmanis andR. E. Stearns, On the computational complexity of algorithms,Trans. Amer. Math. Soc. 117 (1965), 285–306.
4. A. N. Kolmogoroff, Tri podhoda k opredeleniju ponjatija “količestvo informacii”,Problemy Peredači Informacii 1 (1965), 3–11.
5. D. Loveland, On minimal program complexity measures,ACM Symposium on Theory of Computing, pp. 61–66, May 5–7, 1969.