Good book on (Quantum) Complexity and Computability Theories to start learning the theorem $MIP^* = RE$ as an operator algebraist

Question

I am looking for some greatest references that could help me understand the theorem $MIP^* = RE$ ($MIP*=RE$) step by step. The paper (The Connes Embedding Problem: A guided tour) covers various topics related to this problem, but it is very brief. As a student with bacgrouds on operator algebras (von Neumann algebras, C*-algebras), free probability and random matrices) and with basic knowledge on quantum mechanics, I am looking for documents on quantum complexity theory that align with my intellectual background. What book should I read to fully grasp a concept before moving on to another?