Dan Song Keqing He Liang Peng Wudong Liu A Formal Language for Model Transformation Specification. 429-433 2005 conf/iceis/2005 ICEIS (3) db/conf/iceis/iceis2005-3.html#SongHLL05