Computability, complexity, and languages fundamentals of theoret. computer science - Davis, Martin 1928-2023; Weyuker, Elaine J. (Acad. Pr., 1988)