Strongly typed rewriting for coupled software transformation (2007)

by A Cunha, J Visser
Venue:Electronic Notes on Theoretical Computer Science