Tomàs, Francesc. 2005. “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 2 (June):7-36. https://revistes.iec.cat/index.php/BSCM/article/view/22022.001.