1. Murata, M., Brüggemann-Klein, A., Wood, D.: Regular tree and regular hedge languages over unranked alphabets: Version 1. Technical Report HKUST-TCSC- 2001-0, The Hongkong University of Science and Technology (April 2001)
2. Burstall, R.M., Tarlecki, A., Goguen, J.A.: Some fundamental algebraic tools for the semantics of computation - part III: Indexed categories. TCS (91), 239–264 (1991)
3. Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. International Series in Computer Science, Prentice–Hall, Englewood Cliffs (1995)
4. Lecture Notes in Computer Science;M. Bidoit,2004
5. Burstall, R., Goguen, J.: The semantics of CLEAR, a specification language, vol. 86, pp. 292–332. Springer, Heidelberg (1979)