Zachar , Zoltán (1975) Az általánosított szekvenciális gépek ekvivalenciájának algoritmikus eldönthetősége. Masters, József Attila Tudományegyetem.