1. Projections of lawless sequences;van Dalen,1970
2. [F,H] M. Fourman and J.Hyland (1978), Sheaf models for analysis. To appear in: Proceedings_of_the 1977 Durham Research Symposium on Applications of Sheaf theory to Logic, Algebra and Analysis (D. Scott, editor). Springer, Berlin.
3. Formal systems for some branches of intuitionistic analysis;Kreisel;Annals of Mathematical Logic 1,1970
4. Principles of intuitionism;Troelstra,1969
5. Informal theory of choice sequences;Troelstra;Studia Logica,1969