Systems of Reductions - Benninghofen, Benjamin (Lecture Notes in Computer Science Ser.)