TY  - BOOK
AU  - Jähnichen,Stefan
TI  - Supporting formal program developments: the DEVA environment
T2  - TR / International Computer Science Institute
PY  - 1989///
CY  - Berkeley, Calif.
PB  - International Computer Science Inst.
ER  -