-E.W. Mayr/H.J. Priiniel/A. Steger (Eds.): Lectures on Proof Verification and Approximation Algorithms, Springer-Verlag 1998