Systems of reductions - Benninghofen B; Kemmerich S; Richter M M (Berlin Springer Verlag, 1987)
Keywords: Computer science