Computability, Complexity and Languages (1983)

by M Davis, E Weyuker