S. Goldwasser, Micali, and C. Rackoff. "The Knowledge Complexity of Interactive Proof Systems." SIAM J. Comput. 18, no. 1 (1989): 186208.