1. Marat, M.: On some generalizations of the Fixed-Point Theorem. Soviet Mathematics (Iz. VUZ), Russian 25(5), 9–16 (1981); English translation 25(5), 1–10 (1981)
2. Ambos-Spies, K., Kjos-Hanssen, B., Lempp, S., Slaman, T.A.: Comparing DNR and WWKL. Journal of Symbolic Logic 69, 1089–1104 (2004)
3. Cristian, S.: Calude. Private Communication (2005)
4. Kučera, A.: Measure, ${\mathrm \Pi} \sp 0\sb 1$ -classes and complete extensions of PA. In: Recursion theory week 1984. Lecture Notes in Mathematics, vol. 1141, pp. 245–259 (1985)
5. Beigel, R., Buhrman, H., Fejer, P., Fortnow, L., Grabowski, P., Longpré, L., Muchnik, A., Stephan, F., Torenvliet, L.: Enumerations of the Kolmogorov function. Electronic Colloquium on Computational Complexity, TR04-015 (2004)