Computability, complexity, and languages fundamentals of theoretical computer science - Davis, Martin 1928- (Academic Press, 1994)