Kokichi Futatsugi, Jean-Pierre Jouannaud, Jos� Meseguer <br/><br/>
Algebra, Meaning, and Computation 

 -  2006 
<br/><br/><label>ISBN: </label>978-3-540-35464-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logics and Meanings of Programs<br/>Mathematical Logic and Formal Languages<br/>Mathematics of Computing<br/>Theory of Computation<br/>Computer Science