The nature of computation an introd. to computer science - Pohl, Ira; Shaw, Alan (Pitman, 1981)