[CITATION][C] The knowledge complexity of interactive proof systems

S Micali, C Rackoff - SIAM Journal on Computing, 1989