Formal Specification and Metaprogramming in the EXPRESS Language. - Yamine Aït Ameur; Frederic Besnard; Patrick Girard 002; Guy Pierra; Jean-Claude Potier (SEKE, 1995)