, 2008, Some of Julius König's mathematical dreams in his new foundations of logic, arithmetic, and set theory, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 178-197.
, 2000a, 'Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture', Synthese 125 (1-2), 133-146.