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