Computability, complexity, and languages : - Davis, Martin (Academic Press, 1994)