publication venue for On Effective Procedures 2002 Recipes, Algorithms, and Programs 2001 Dominance hierarchies and the evolution of human reasoning 1996 Effective procedures and computable functions 1995 Is the Church-Turing thesis true? 1993