M. Droste and W. Kuich, “A Kleene theorem for weighted ω-pushdown automata”, Acta Cybern, vol. 23, no. 1, pp. 43-59, Jan. 2017.