Introduction to the design & analysis of algorithms - Levitin, Anany (Pearson/Addison Wesley, 2007)