Efficient checking of polynomials and proofs and the hardness of approximation problems - Sudan, Madhu (Springer Verlag, 1996)