Wiley
Wiley Professional Computing
Specification and Analysis of Embedded Systems

Kennaway, R., Klop, J. W., Sleep, R., & de Vries, F.-J. (1993). The adequacy of term graph rewriting for simulating term rewriting. In Term graph rewriting (pp. 157–169). Wiley.