Term graph rewriting : theory and practice /
Sleep, M. R.
Plasmeijer, M.J.
Van Eekelen, M. C. J. D.
Chichester : Wiley,
1993.