Leo Corry
“Reflexive Thinking in Mathematics: Formal and Non-formal Aspects”, in A. Diez et al (eds.) Proceedings of the Symposium on Structures in Mathematical Theories, San Sebastian (1990): 383-389.