Terese <br/><br/>
Term Rewriting Systems 

 - Cambridge  Cambridge University Press  2003 
 - xxii, 884p. 
 - Cambridge Tracts in Theoretical Computer Science no. 55. .
<br/><br/><label>ISBN: </label>978-0-521-39115-3