1. Lect Notes Comput Sci;Y. Akama,2001
2. Beeson, M.: Foundations of Constructive Mathematics, Springer, 1985
3. Baratella, S. and Berardi, S.: Constructivization via Approximations and Examples, Theories of Types and Proofs, M. Takahashi, M. Okada and M. Dezani-Ciancaglini eds., MSJ Memories 2 (1998) 177–205
4. Berardi, S.: Classical logic as Limit Completion,-a constructive model for non-recursive maps-, submitted, 2001, available at http://www.di.unito.it/~stefano/Berardi-ClassicalLogicAsLimit-I.rtf .
5. Bishop, E.: Foundations of Constructive Analysis, McGraw-Hill, 1967