An introduction to term graph rewriting (1993)

by J R KENNAWAY, J W KLOP, M R SLEEP, F J DE VRIES