Lectures on proof verification and approximation algorithms - Mayr, Ernst W.; Prφmel, H. J.; Steger, Angelika; Promel, Hans Jurgen (Lecture notes in computer science, 1998)