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