Tomàs, F. (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, pp. 7–36. Available at: https://revistes.iec.cat/index.php/BSCM/article/view/22022.001 (Accessed: 9 May 2024).