TY  - BOOK
AU  - NATO Advanced study International summer school on programming and Mathematical Method(1990
AU  - Broy, Manfred., ed.
TI  - Programming and mathematical method
T2  - NATO Advanced study Institute series F
SN  - 354055587
U1  - 005.1015113 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
ER  -