Baber, Robert Laurence <br/><br/>
The spine of software : designing probably correct software: theory and practice or a mathematical introduction to the Semantics of computer programs  [Books]. 
Robert Laurence Baber. 
 - New York  John Wiley & Sons Ltd  1987 
 - Pages: 316 
<br/><br/><label>ISBN: </label>0471914746  0.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Computer software -- Development.<br/>Electronic digital computers -- Programming.
<br/><br/><label>Dewey Class. No.: </label>QA/76.76.D47  / BAB