"Parallel Rewriting Systems on terms."

Karel Culík II, T. S. E. Maibaum (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics