Halava Vesa; Harju Tero: On the steps of Emil Post : from normal systems to the correspondence decision problem. In: Acta cybernetica, (24) 4. pp. 613-623. (2020)