1. Adámek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Structures Comput. Sci. 16, 1085–1131 (2006)
2. Adámek, J., Trnková, V.: Automata and algebras in a category. Kluwer Academic Publishers, Dordrecht (1990)
3. Lecture Notes in Computer Science;K. Aehlig,2006
4. Lecture Notes in Computer Science;W. Damm,1979
5. Fiore, M.: Second order dependently sorted abstract syntax. In: Proc. Logic in Computer Science 2008, pp. 57–68. IEEE Press, Los Alamitos (2008)