Annegret Habel Karl-Heinz Pennemann Correctness of high-level transformation systems relative to nested conditions. 245-296 2009 19 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129508007202 db/journals/mscs/mscs19.html#HabelP09