publication venue for Recipes, Algorithms, and Programs 2001 Effective procedures and computable functions 1995 Is the Church-Turing thesis true? 1993
