1. J. Adámek and V. Trnková. Automata and Algebras in Categories. Kluwer Academic Publishers, 1990.
2. E.M. Clarke, O. Grumberg, and D.E. Long. Model checking. In Nato ASI Series F, volume 152, New York, Heidelberg, Berlin, 1996. Springer-Verlag.
3. C.C. Chang and H.J. Keisler. Model Theory. North-Holland, Amsterdam, 3rd edition, 1990.
4. Lect Notes Comput Sci;G.L. Cattani,1996
5. Lect Notes Comput Sci;V. Diekert,1990