1. Abbad, H., Laugerotte, É.: Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science 7, 21–30 (2008)
2. Berstel, J., Reutenauer, C.: Rational series and their languages. Springer, Berlin (1988)
3. Bloom, S.L., Ésik, Z.: Iteration theories. Springer, Berlin (1993)
4. Bloom, S.L., Ésik, Z., Kuich, W.: Partial Conway and iteration semirings. Fundamenta Informaticae 86, 19–40 (2008)
5. Lecture Notes in Computer Science;P. Caron,2001