1. Allouche, J.P., Shallit, J.: Automatic Sequences: Theory, Applications Generalizations. Cambridge University Press, New York (2003)
2. Belov, A.: Some algebraic properties of machine poset of infinite words. ITA 42(3), 451–466 (2008)
3. Berstel, J., Boasson, L., Carton, O., Petazzoni, B., Pin, J.E.: Operations preserving regular languages. Theor. Comput. Sci. 354(3), 405–420 (2006)
4. Lecture Notes in Computer Science;J Endrullis,2015
5. Endrullis, J., Hansen, H.H., Hendriks, D., Polonsky, A., Silva, A.: A coinductive framework for infinitary rewriting and equational reasoning. In: Proceedings of Conference on Rewriting Techniques and Applications (RTA 2015). Schloss Dagstuhl (2015)