Computability, complexity, and languages: fundamentals of theoretical computer science

Martin Davis and Elaine J. Weyuker

New York, 1983