Algorithms from P to NP vol.1: design and efficiency - MORET, B.M.E (Benjamin/Cummings Pub., 1990)