Эквивалентность автоматов относительно коммутативной полугруппы. М.А. Тайлицин — 1969 Algebra i Logika