Martin Slota João Leite EVOLP: Tranformation-Based Semantics. 117-136 2007 CLIMA VIII http://dx.doi.org/10.1007/978-3-540-88833-8_7 conf/clima/2007 db/conf/clima/clima2007.html#SlotaL07