, 2012, Real and ideal in constructive mathematics, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 69-85.
, 2008, Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 301-315.
, 1987a, Intuitionistic formal spaces — a first communication, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 187-204.