Models of computation : exploring the power of computing - Savage, John E. (Addison-Wesley, 1998)