Introduction to algorithms, Thomas H. Cormen