Lectures on Proof Verification and Approximation Algorithms - Mayr, Ernst W.; Jürgen Prömel, Hans; Steger, Angelika (Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783540642015 9783540697015, 1998)