A. Wolff, M. Thon, and Y. Xu. Proc. 11th Annu. Int. Symp. Algorithms Comput.
(ISAAC'00), volume 1969 of Lecture Notes in Computer Science, page 422--431. Springer-Verlag, (2000)
A. Wolff. Lectures on Proof Verification and Approximation Algorithms, volume 1367 of Lecture Notes in Computer Science Tutorial, chapter 10, Springer-Verlag, (1998)