Computability, complexity, and languages : fundamentals of theoretical computer science - Davis, Martin; Weyuker, Elaine J (Academic Press, 1983)