by Udi Manber
Combines inductive reasoning and recursive structure into a novel approach for algorithm design.