Gécseg, Ferenc, and Balázs Imreh. 1987. “On αi-Product of Tree Automata”. Acta Cybernetica 8 (2), 135-41. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3326.