Cite book Title STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing Last name Kitaev First name Alexei Last name 2 Watrous First name 2 John Publisher ACM Year of publication 2000 ISBN 978-1-58113-184-0 Page(s) cited 608–617 Chapter Parallelization, amplification, and exponential time simulation of quantum interactive proof systems ↑ Rahul Jain; Sarvagya Upadhyay; John Watrous (2009). "Two-message quantum interactive proofs are in PSPACE". arXiv:0905.1300 [cs.CC]. Cite arXiv arXiv class cs.CC Author 2 Sarvagya Upadhyay Title Two-message quantum interactive proofs are in PSPACE ↑ Kondacs, A.; Watrous, J. (1997).