Algorithms and theory of computation handbook : General concepts and techniques - Atallah, Mikhail (CRC, 2010)