F. Tomàs, “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., vol. 2, pp. 7–36, Jun. 2005.