TY  - BOOK
AU  - Benninghofen B
AU  - Kemmerich S
AU  - Richter M M
TI  - Systems of reductions
U1  - 004.0151 
PY  - 1987///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -