David Harel

Roni Rosner

Provides a study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms.

The Spirit of Computing

Algorithmics

Gavin

A thing of beauty: an attempt at a work of computer science that doesn’t date. It's general abstract introductory matter. The field is hugely consequential: different algorithms for the same task can differ in performance by a factor of trillions. 

Bible quotations book-end each chapter and give this a frisson of something other.

Algorithmics The Spirit of Computing