Automata-theoretic aspects of formal power series. - Springer Verlag, 1978. - ( Texts and Monographs in Computer Science ).