Kuske Dietrich: Weighted and unweighted trace automata. In: Acta cybernetica, (19) 2. pp. 393-410. (2009)