The design and analysis of algorithms is one of the two essential
cornerstone topics in computer science (the other being automata
theory/theory of computation). Every computer scientist has a copy of
Knuth's works on algorithms on his or her shelf. Dexter Kozen, a
researcher and professor at Cornell University, has written a text for
graduate study of algorithms.