General concepts and techniques algorithms and theory of computation handbook - Atallah, Mikhail J. (Boca Raton CRC Press, 2013)