Magdalena Gajewsky Francesco Parisi-Presicce On the Compatibility of Model and Model-Class Transformations. 109-127 2001 conf/wadt/2001 WADT http://link.springer.de/link/service/series/0558/bibs/2267/22670109.htm db/conf/wadt/wadt2001.html#GajewskyP01