1. Points and spaces;Brouwer,1975
2. The completeness of intuitionistic propositional calculus for its intended interpretation;Burgess;Notre Dame J. Formal Logic,1981
3. An interpretation of intuitionistic analysis;van Dalen;Ann. Math. Logic,1978
4. Projections of lawless sequences;van Dalen,1970
5. Projections of Lawless Sequences;van der Hoeven,1981