Computability, complexity, and languages fundamentals of theoretical computer science - Davis, Martin 1928-2023; Weyuker, Elaine J. (Acad. Press, 1986)