TY  - BOOK
AU  - Alagic, Suad
AU  - Arbib, Michael A
TI  - Design of well structured and correct programs
N1  - D6,8(B) L8
ER  -