R. Orayen, «Predicación de existencia y prueba ontológica», CRHF, vol. 4, n.º 11-12, pp. 123–152, may 1970.