The knowledge complexity of interactive proof systems - Goldwasser, S; Micali, S; Rackoff, C (SIAM Journal on Computing, 1989)