Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems - Sudan, Madhu (Springer-Verlag Association for Computing Machinery, 1995)
βιβλιογραφία: σσ.73-78 περιλαμβάνει ευρετήριο Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών