V. Halava and T. Harju, “On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem”, Acta Cybern, vol. 24, no. 4, pp. 613-623, Jul. 2020.