A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Kompren: modeling and generating model slicers, Software and Systems Modeling (SoSyM), pp.1-17, 2012.
DOI : 10.1007/s10270-012-0300-x
URL : https://hal.archives-ouvertes.fr/hal-00746566

X. Benoit-combemale, P. Crégut, X. Garoche, and . Thirioux, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, 2009.
DOI : 10.4304/jsw.4.9.943-958

R. Hundt, Loop Recognition in C++

B. Meyer, Eiffel: the language, 1992.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095