Damgård, I. B.; Pfitzmann, B. Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP. BRICS 1997, 4.