On the definition of an algorithm, Uspekhi Mat. Nauk 13 (1958)

by A N Kolmogorov, V A Uspenskii