Ferenczy, F. 1972. “Zamečanie K Teoreme of Polnote Sistemy konečnyh Avtomatov”. Acta Cybernetica 1 (3), 153-55. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3083.