The complexity of computing - Savage, John E. (A Wiley-Interscience publication, 1976)