DiSTiL: A transformation library for data structures by YannisSmaragdakis and DonBatory * ResearchIndex [http://citeseer.nj.nec.com/smaragdakis96distil.html]