TY  - BOOK
AU  - Broda S. K.
AU  - Khoshnevisan, H.
TI  - Reasoned programming
U1  - 001.642 BRO-R 1994 
CY  - New York
KW  - Computer sciences
ER  -