Strongly typed rewriting for coupled software transformation (2006)

by Alcino Cunha, Joost Visser
Venue:In Proc. 7th Int. Workshop on Rule-Based Programming (RULE 2006), ENTCS