Added a link to "Models of Computation" by John E. Savage to the
"Theoretical Computer Science" category.