Oded Goldreich Probabilistic Proof Systems: A Primer. 1-91 2008 3 Foundations and Trends in Theoretical Computer Science 1 http://dx.doi.org/10.1561/0400000023 db/journals/fttcs/fttcs3.html#Goldreich08