Interactive Proof Systems and An Introduction to PCP
CS151 Complexity Theory Lecture 8 April 22, 2004.
Pseudo-randomness