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, (Jun. 2005), 7–36.