Lectures on Proof Verification and Approximation Algorithms door Ernst Mayr & A. Steger