Hartmut Ehrig Annegret Habel Hans-Jörg Kreowski Francesco Parisi-Presicce Parallelism and Concurrency in High-Level Replacement Systems. 361-404 1991 1 Math. Struct. Comput. Sci. 3 db/journals/mscs/mscs1.html#EhrigHKP91 https://doi.org/10.1017/S0960129500001353