A nonstandard approach to arithmetic. JOSÉ F. PRIDA — 1999 Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Un estudio no standard de la teoría de la recursividad relativa. José F. Prida — 1982 Collectanea Mathematica