O. Goldreich, “Probabilistic Proof Systems”, BRICS, vol. 1, no. 28, Sep. 1994.