Reihe Lecture Notes in Computer ScienceBenjamin Benninghofen ×eBooks × Systems of Reductions Benjamin BenninghofenSpringer BerlineBook2005