Morgan, Carroll <br/><br/>
On the Refinement Calculus 

 - New York  Springer-Verlag  1992 
 - 159p. 
<br/><br/><label>ISBN: </label>9783540199311