Klaus Achatz Helmuth Partsch A powerful transformation rule, its applications and variants. 265-295 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#AchatzP97