М. Дросте, Г. Рахонис, “Взвешенные автоматы и взвешенная логика на бесконечных словах”, Изв. вузов. Матем., 2010, № 1, 34–58; M. Droste, G. Rahonis, “Weighted automata and weighted logic on infinite words”, Russian Math. (Iz. VUZ), 54:1 (2010), 26–45
