Systems of reductions - Benninghofen, B; Kemmerich, S; Richter, M.M (Lecture Notes in Computer Science, 1987)