TY  - BOOK
AU  - Alagic, Suad
AU  - Arbib, Michael A.
TI  - The design of well-structured and correct programs
SN  - 0387902996
U1  - 001.642 
PY  - 1978///
CY  - New  York
PB  - Springer
KW  - Pascal (Computer Program Language)
KW  - Electronic Digital Computers--Programming
ER  -