1. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1985)
2. Bénabou, J.: Structures algébriques dans les catégories. Cahiers de Topologie et Géometrie Différentielle 10, 1–126 (1968)
3. Bruni, R.: Tile Logic for Synchronized Rewriting of Concurrent Systems. PhD thesis, Dipartimento di Informatica, Universit‘a di Pisa (1999), Technical Report TD-1/99, http://www.di.unipi.it/phd/tesi/tesi_1999/TD-1-99.ps.gz
4. Lecture Notes in Computer Science;R. Bruni,2003
5. Bruni, R., Meseguer, J., Montanari, U.: Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Mathematical Structures in Computer Science, vol. 12, pp. 53–90 (2002)