Goldreich, O. 1994. Probabilistic Proof Systems. BRICS Report Series. 1, 28 (Sep. 1994). DOI:https://doi.org/10.7146/brics.v1i28.21643.