TY  - BOOK
AU  - Broy Manfred Ed.
AU  -  Schieder Birgit Ed.
TI  - Mathematical methods in program devlopment
U1  - D6,8(B289), N7 
PY  - 1997///
ER  -