1. Lecture Notes in Computer Science;L Aceto,2002
2. Arkhangelsky, K.B., Gorshkov, P.V.: Implicational axioms for the algebra of regular languages. Dokl. Akad. Nauk USSR Ser. A 10, 67–69 (1967). (in Russian)
3. Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Theor. Comput. Sci. 11, 181–205 (1980)
4. Arnold, A., Niwinski, D.: Rudiments of $$\mu $$ μ -Calculus. North-Holland, Amsterdam (2001)
5. Barr, M., Wells, C.: Category theory for computing science. Reprints Theory Appl. Categories (22), 172 (2012)