1. Lecture Notes in Computer Science;D.H. Akehurst,2002
2. Bottoni, P., Parisi-Presicce, F., Taentzer, G.: Coordinated distributed diagram transformation for software evolution. In: Heckel, R., Mens, T., Wermelinger, M. (eds.) Electronic Notes in Theoretical Computer Science, vol. 72. Elsevier, Amsterdam (2003)
3. Cavalcanti, A., Sampaio, A., Woodcock, J.: A Refinement Strategy for Circus. Formal Aspects of Computing 15(2-3), 146–181 (2003)
4. Cambridge Tracts in Theoretical Computer Science;W.-P. Roever de,1998
5. Lecture Notes in Computer Science;J. Derrick,1999