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