TY  - BOOK
AU  - Benninghofen B
AU  -  Kemmerich S
AU  -  Richter M M
TI  - System of reductions
T2  - Lecture notes in computer science; 277
U1  - D65,8(B), M7 
PY  - 1987///
CY  - Berlin
PB  - Springer-verlag       
KW  - Computer programming
ER  -