Droste, Manfred, and Werner Kuich. 2017. “A Kleene Theorem for Weighted ω-Pushdown Automata”. Acta Cybernetica 23 (1), 43-59. https://doi.org/10.14232/actacyb.23.1.2017.4.