A language for bi-directional tree transformations (2003)

by M B Greenwald, J T Moore, B C Pierce, A Schmitt