-M. Sudan: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems, Springer-Verlag 1995