The theory of algorithms - Markov, A. A. (Andreæi Andreevich); Nagorny, N.M (Mathematics and its applications. Soviet series, 1988)