O. Goldreich, “Probabilistic Proof Systems”, BRICS, bd. 1, nr. 28, sep. 1994.