El libro presenta los diversos aspectos del diseño y análisis de aquellos algoritmos. Primero se parte de la especificación del problema a resolver y después se diseña un algoritmo que resuelve el problema. La notación empleada es fácilmente traducible a lenguajes de programación como Modula-2 y Standard ML.