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