Wiley
Wiley Professional Computing
Specification and Analysis of Embedded Systems

Kennaway, R., Klop, J. W., Sleep, R., & de Vries, F.-J. (1993). Event structures and orthogonal term graph rewriting. In Term graph rewriting (pp. 141–155). Wiley.