TY  - BOOK
AU  - Baber,Robert Laurence
TI  - The spine of software : designing probably correct software: theory and practice or a mathematical introduction to the Semantics of computer programs
SN  - 0471914746
U1  - QA/76.76.D47 
PY  - 1987///
CY  - New York
PB  - John Wiley & Sons Ltd
KW  - Computer software -- Development.
KW  - Electronic digital computers -- Programming.
ER  -