Goldreich, O. (1994) “Probabilistic Proof Systems”, BRICS Report Series, 1(28). doi: 10.7146/brics.v1i28.21643.