Quantum proofs : foundations and trends in theoretical computer science - Vidick, Thomas (now Publishers, 2016)