TY  - BOOK
AU  - Lauer P E
TI  - Functional programming,concurrency,simulation and automated reasoning
SN  - 3-540-56883-2
U1  - 005.114 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Automated reasoning
KW  - Functional programming
KW  - Simulation
ER  -