Theory of algorithms - Markov, A. A. (Woks of the Mathematical Institute /Stelov, M.V.A., 1971)