Algorithms from P to NP - Moret, Bernard M.E. (The Benjamin/Cummings Publishing Company, 1991)