I. B. Damgård and B. Pfitzmann, “Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP”, BRICS, vol. 4, no. 50, Jun. 1997.