A.P. Ershov's contribution to the "Acta Informatica" Journal