Reihe Lecture Notes in Computer ScienceBenjamin Benninghofen ×Bücher × Systems of Reductions Benjamin BenninghofenSpringer BerlinSoftcover1987