Sannella, Donald <br/><br/>
Foundations of algebraic specification and formal software development 
Donald Sannella 
 - New York  Springer  2011 
 - p. cm 
<br/><br/> Contine bibliogr. si index 
<br/><br/><label>ISBN: </label>9783642173356 (hard cover : alk. paper) 
<br/><br/><label>LCCN: </label>2011941495