Computability, Complexity, and Languages door Martin Davis, Elaine J. Weyuker & Ron Sigal