R. Orayen, “Predicación de existencia y prueba ontológica”, CRHF, vol. 4, no. 11-12, pp. 123–152, May 1970.