1. N.C.A. da Costa, F.A. Doria, M. Guillaume, On a total function which overtakes all total recursive functions, preprint 01-RGC-IEA, 200X
2. F.A. Doria, Talk at the Brazilian Logic Symposium on his joint work with N.C.A. da Costa on computational complexity, May 2000
3. F.A. Doria, Messages to the newsgroup theory-edge, November 2000–October 2001
4. F.A. Doria, Metamathematics of P=?NP, informal presentation at the meeting Two Days with Patrick Suppes, Federal University at Santa Catarina, Brazil, 22–23 April 2002
5. Arithmetization of metamathematics in a general setting;Feferman;Fund. Math.,1960