I can't add much to what others have already recommended, other than Functional Programming by Field and Harrison (out of print, I believe). It covers graph re

I can't add much to what others have already recommended, other than Functional Programming by Field and Harrison (out of print, I believe). It covers graph reduction, which I believe is a generalization of term rewriting.