1. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, 1967
2. Church, A.: A formulation of the simple theory of types. J.S.L. 5, 56–68 (1940)
3. Church, A.: Introduction to Mathematical Logic. Princeton U.P., 1956
4. Dalen, D. van, Statman, R.: Equality in the presence of apartness. To appear
5. Diaconescu, R.: Axiom of choice and complementation. Proc. Amer. Math. Soc. 51, 175–178 (1975)