1. Andrew, R.B., Sherman, A.H., Weiser, A.: Some refinement algorithms and data structures for regular local mesh refinement (1983)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Lecture Notes in Computer Science;P Baldan,2006
4. Lecture Notes in Computer Science;A Boronat,2009
5. Boy de la Tour, T., Echahed, R.: A set-theoretic framework for parallel graph rewriting. CoRR (abs/1808.03161) (2018)