The knowledge complexity of interactive proof systems (1989)

by Shafi Goldwasser, Silvio Micali, Charles Rackoff