1. Baldan, P., Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Rossi, F.: Concurrent semantics of algebraic graph transformations. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.3, vol. 3, pp. 107–187. World Scientific, Singapore (1999)
2. Brown, R., Janelidze, G.: Van Kampen theorems for categories of covering morphisms in lextensive categories. J. Pure Appl. Algebra 119, 255–263 (1997)
3. Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra 84(2), 145–158 (1993)
4. Cardelli, L.: Bitonal membrane systems. Draft (2003)
5. Corradini, A., Ehrig, H., Heckel, R., Lowe, M., Montanari, U., Rossi, F.: Algebraic approaches to graph transformation part i: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1, pp. 162–245. World Scientific, Singapore (1997)