Lectures on Proof Verification and Approximation Algorithms - Ernst W. Mayr, Hans J??rgen Pr??mel et Angelika Steger