Weaving executability into object-oriented meta-languages (2005)

by P-A Muller, F Fleurey, J-M Jézéquel