Droste, M., & Kuich, W. (2017). A Kleene theorem for weighted ω-pushdown automata. Acta Cybernetica, 23(1), 43-59. https://doi.org/10.14232/actacyb.23.1.2017.4