, 1995, Hypothetical extensions of constructive mathematics, in W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, pp. 159-174.