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