3 books in this genre
Functional programming and parallel graph rewriting
M. J. Plasmeijer
Rewriting techniques and applications
International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)
Hubert Comon
