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