Weighted Automata, Formal Power Series and Weighted Logic - Wirth, Laura (Springer Spektrum, 2023)