Introduction to Algorithms, fourth edition, Thomas