Algebraic Methodology and Software Technology   
ed by V. S. Alagar and Maurice Nivat 
 - Berlin  Springer 
 - Lecture notes in computer science .
<br/><br/><label>Dewey Class. No.: </label>005.131  /