Pridas, José F., y Fernando Orejas. 2015. «Clases de fórmulas aritméticas en la 1-reducibilidad». Boletín del Centro de Cálculo de la Universidad Complutense, n.º 28 (septiembre): 1-44. https://revistas.ucm.es/index.php/BCCU/article/view/49991