TY  - BOOK
AU  - Norcliffe, Allan
AU  - Slater, Gil
TI  - Mathematics of software construction
SN  - 0135633702
AV  - QA76.758 .N67 1991
PY  - 1991///
CY  - New York
PB  - Ellis Horwood
KW  - Software - construction
KW  - Mathematics
N1  - Includes index
ER  -