Introduction to algorithms - Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L. (The MIT Press, 1990)