R. Heckel, “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.

W. Weber and R. Kabst, “Flexibility in Germany,” in Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management, C. Brewster, Ed. Bedford, 1996, pp. 20–57.

R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.