Sannella, D. <br/><br/>
Foundations of algebraic specification and formal software development / 
Donald Sannella, Andrzej Tarlecki 
 - Heidelberg ;  New York :  Springer,  c2012 
 - xvi, 581 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>9783642173356 3642173357 9783642173363 (electronic bk.) 3642173365 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics<br/>Software engineering<br/>Computer software--Development<br/>Formal methods (Computer science)