The nature of computation an introduction to computer science - Pohl, Ira; Shaw, Alan (Computer Science Press, 1981)