@Article{GMW91,
author={Oded Goldreich and Silvio Micali
and Avi Wigderson},
title={Proofs that yield nothing but their
validity, or all languages in NP have
zero-knowledge proof systems},
journal={Journal of the ACM},
volume={38},
month={1},
year={1991},
}