On an Abstract Theory of Computational Models and the Converse of Rice’s Theorem
IC Technical Reports 2009
Arnaldo Vieira Moura
Igor Carboni Oliveira