1. Baigger, G.: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Zulassungsarbeit vom Februar 1974.
2. Orevkov, V.P.: A constructiv mapping of a square onto itself displacing every constructive point. Soviet Mathematics, Vol. IV, 1963, 4–6 (Translation of Doklady Akademie Nauk SSSR. Publ. by the Am. Math. Soc.).
3. Specker, E.: Nicht konstruktiv beweisbare Sätze der Analysis. J. Symb. Logic,14, 145–158 (1949).
4. Specker, E.: Der Satz vom Maximum in der Rekursiven Analysis. Proc. Coll. held at Amsterdam, 1957, pp. 254–265, ed. by A. Heyting, 1959.