The nature of computation : an introduction to computer science - Pohl, Ira (Pitman Publishing, 1981)