TY  - BOOK
AU  - Alagic, Suad
AU  - Arbib, Michael A.
TI  - Design of well-structured and correct programs
T2  - Texts and monographs in computer series
SN  - 0387902996
U1  - 001.642 
PY  - 1978///
CY  - New York
PB  - Springer-Verlag
N1  - Includes index
ER  -