Algorithms from P to NP design and efficiency - Moret, B.M.E (Benjamin/Cummings, 1991)