Survey papers in computational complexity theory

• M. Bellare.
  Proof Checking and Approximation: Towards Tight Results.
  This is a slightly expanded version of a survey that appears in the Complexity Theory Column of Sigact News, Vol. 27, No. 1, March 1996. Last updated September 1996.