Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á.  (2000).??Some Functional Schemes in Arithmetic.  Logic Colloquium 2000.  154.