Lectures on Proof Verification and Approximation Algorithms - Mayr, Ernst W.; Mayr, Ernst W.; Prömel, Hans Jürgen; Prömel, Hans Jürgen; Steger, Angelika; Steger, Angelika (Springer Berlin Heidelberg : Imprint: Springer, 1998)