TY  - BOOK
AU  - Alagic Suad
AU  - Arbib M A
TI  - Design of well-structured and corret programs
SN  - 0-387-90299-6
U1  - 005.3 
PY  - 1978///
CY  - N Y
PB  - Springer Verlag
KW  - Computer design
KW  - Computer programming
ER  -