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