Automata-Theoretic Aspects of Formal Power Series - Salomaa, Arto ; Soittola, Matti