Term Rewriting and Applications - Frank Pfenning - E-bok | Bokus