Fernando Orejas Hartmut Ehrig Elvira Pino Tight and Loose Semantics for Transformation Systems. 238-255 2001 conf/wadt/2001 WADT http://link.springer.de/link/service/series/0558/bibs/2267/22670238.htm db/conf/wadt/wadt2001.html#OrejasEP01