TY  - BOOK
AU  - Turski,Vladyslaw M
TI  - The specification of computer programs
PY  - 1987///
CY  - Workingham
PB  - Addison-Wesley
KW  - Computer software
KW  - Development
KW  - Electronic digital computers
KW  - Programming
N1  - Includes appendices, references, and index
ER  -