Volker Heun, Wolfgang Merkle, Ulrich Weigand. Proving the PCP-Theorem. In Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger, editors, Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997). Volume 1367 of Lecture Notes in Computer Science, pages 83-160, Springer, 1997. [doi]
Abstract is missing.