TY  - BOOK
AU  - Alagi'c,Suad
AU  - Arbib,Michael A.
TI  - The design of well-structured and correct programs
SN  - 0387902996
PY  - 1978///
CY  - New York
PB  - Springer-Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Pascal (Computer program language)
N1  - Portions of the material, in rather different form, appeared in Alagi c's Serbo-Croation text Prinicipi programiranja; Bibliography : p.  249 -252
ER  -