Tomàs, F. “Una Fusió Dels Programes Recursivista I Formalista Finitari: La Noció De Formalisme Recursiu Com a Substituta Del càlcul De Predicats”. Butlletí De La Societat Catalana De Matemàtiques, vol. 2, June 2005, pp. 7-36, https://revistes.iec.cat/index.php/BSCM/article/view/22022.001.