An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. - Lorenzo Capra; Vincenzo Stile (SYNASC, 2013)