1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. John Wiley & Sons, Inc., Hoboken (1990)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Book, R.V., Otto, F.: String-Rewriting Systems. Texts and Monographs in Computer Science, Springer (1993). https://doi.org/10.1007/978-1-4613-9771-7_3
4. Boy de la Tour, T., Echahed, R.: Parallel rewriting of attributed graphs. Theor. Comput. Sci. 848, 106–132 (2020)
5. Boy de la Tour, T.: Parallelism theorem and derived rules for parallel coherent transformations. arXiv:1907.06585 (2019)