Damgård, I. B., and B. Pfitzmann. “Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP”. BRICS Report Series, vol. 4, no. 50, June 1997, doi:10.7146/brics.v4i50.19271.