C. Lungarzo, “Formalismo e incompletud”, CRHF, vol. 4, no. 11-12, pp. 67–110, May 1970.