C. Lungarzo, «Formalismo e incompletud», CRHF, vol. 4, n.º 11-12, pp. 67–110, may 1970.