Baber, Robert Laurence <br/><br/>
The spine of software :  designing provably correct software :  theory and practice or a mathematical introduction to the semantics of computer programs / 
Robert Laurence Baber 
 - Chichester :  John Wiley & Sons,  1987 
 - xi, 316 p. ;  24 cm. 
<br/><br/>Bibliography: p.302-305 
<br/><br/><label>ISBN: </label>0471914746 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Electronic digital computers--Programming