TY  - BOOK
AU  - Alagic J Ed.
AU  -  Arbib M A Ed.
TI  - Desing of well-structured and correct programs
U1  - D65,8(B)92:3, L8 
PY  - 1978///
CY  - New York    
PB  -  Springer-Verlag        
KW  -  Computer programming language
KW  - Computer science
ER  -