1. Adámek, J.: Introduction to coalgebra. Theory and Applications of Categories 14(8), 157–199 (2005)
2. Allouche, J.-P., Shallit, J.: The ubiquitous Prouhet-Thue-Morse sequence. In: SETA 1998, pp. 1–16. Springer, Heidelberg (1999)
3. Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theoretical Computer Science 3(298), 471–510 (2003)
4. Bouhoula, A., Rusinowitch, M.: Observational proofs by rewriting. Theoretical Computer Science 275(1-2), 675–698 (2002)
5. Lecture Notes in Computer Science;M. Clavel,2007