,
Theory of Computing
Quantum Computing: algorithms, proofs and tradeoffs , Quantum computing: fault-tolerance, communication, and classical spin-offs
Algorithms and Complexity

Buhrman, H., Regev, O., Scarpa, G., & de Wolf, R. (2012). Near-optimal and explicit Bell inequality violations. Theory of Computing, 8(27), 623–645.