1. Jürgens, E., Pizka, M.: Tool-supported multi-level language evolution. In: Männistö, T., Niemelä, E., Raatikainen, M. (eds.) Software and Services Variability Management Workshop – Concepts, Models and Tools, vol. (3), pp. 48–67. Helsinki University of Technology Software Business and Engineering Institute Research Reports, Helsinki (2007)
2. Mosses, P.D.: Modular structural operational semantics. Journal of Logic and Algebraic Programming 60-61, 195–228 (2004)
3. Lecture Notes in Computer Science;P.D. Mosses,1999
4. Hofkamp, A., Rooda, J.: Chi 1.0 reference manual. SE Report 2008-04, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands (2008)
5. van Beek, D., Hofkamp, A., Reniers, M., Rooda, J., Schiffelers, R.: Syntax and consistent equation semantics of Chi 2.0. SE Report 2008-01, Eindhoven University of Technology (2008)