Ehrig, H., Habel, A. and Lambers, L. (2010) “Parallelism and Concurrency Theorems for Rules with Nested Application Conditions”, Electronic Communications of the EASST, 26. doi: 10.14279/tuj.eceasst.26.363.