H. Ehrig, A. Habel, and L. Lambers, “Parallelism and Concurrency Theorems for Rules with Nested Application Conditions”, eceasst, vol. 26, Mar. 2010.