Theory of algorithms. - Markov, A. A. (Academy of Sciences of the USSR, 1954)