John E. Savage, Models of Computation [pdf] | Hacker News Reader