Watrous, John (2003), "PSPACE has constant-round quantum interactive proof systems", Theor. Comput. Sci., 292 (3), Essex, UK: Elsevier Science Publishers Ltd.: 575–588, doi:10.1016/S0304-3975(01)00375-9, ISSN 0304-3975 /wiki/John_Watrous_(computer_scientist)
Kitaev, Alexei; Watrous, John (2000), "Parallelization, amplification, and exponential time simulation of quantum interactive proof systems", STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing, ACM, pp. 608–617, ISBN 978-1-58113-184-0 978-1-58113-184-0
Kitaev, Alexei; Watrous, John (2000), "Parallelization, amplification, and exponential time simulation of quantum interactive proof systems", STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing, ACM, pp. 608–617, ISBN 978-1-58113-184-0 978-1-58113-184-0
Jain, Rahul; Upadhyay, Sarvagya; Watrous, John (2009), "Two-Message Quantum Interactive Proofs Are in PSPACE", FOCS '09: Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society, pp. 534–543, ISBN 978-0-7695-3850-1 978-0-7695-3850-1
Jain, Rahul; Ji, Zhengfeng; Upadhyay, Sarvagya; Watrous, John (2010), "QIP = PSPACE", STOC '10: Proceedings of the 42nd ACM symposium on Theory of computing, ACM, pp. 573–582, ISBN 978-1-4503-0050-6 978-1-4503-0050-6