Este livro discute algoritmos com foco na resolução de problemas básicos de computação, como busca binária, ordenação de vetores e manipulação de listas encadeadas. O livro dá destaque aos algoritmos recursivos e mostra como o conceito de invariantes pode ser usado para analisar a correção de algoritmos iterativos.