Goldreich, Oded. Modern Cryptography, Probabilistic Proofs and Pseudorandomness. Berlin: Springer-Verlag, 1999.