Ehrig, H.; Habel, A.; Lambers, L. Parallelism and Concurrency Theorems for Rules With Nested Application Conditions. eceasst 2010, 26.