Fernández-Margarit, A., & Pérez-Jiménez M. J.  (1993).??Algunos Resultados y Problemas sobre Modelos de la Aritmética.  Trabajos de Lógica y Computación.  42.