Mathematics of program construction : 

 - Berlin ; | New York :  Springer-Verlag,  1989 
 - vi, 420 p. :  ill. ;  25 cm. 
 - Lecture notes in computer science ;  375 .
<br/><br/> Papers presented at the Conference on Mathematics of Program Construction. 
<br/><br/><label>ISBN: </label>0387513051 (U.S. : alk. paper)