Tomàs, F. Una Fusió Dels Programes Recursivista I Formalista Finitari: La Noció De Formalisme Recursiu Com a Substituta Del càlcul De Predicats. Butll. Soc. Catalana de Mat. 2005, 2, 7-36.