Lectures on Proof Verification and Approximation Algorithms - Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger ((Lecture Notes in Computer Science))