Ran Raz: Quantum Information and the PCP Theorem. Algorithmica 55(3): 462-489 (2009)