Saluja, Sanjeev Algorithms and Complexity, MPI for Informatics, Max Planck Society;
MPI-I-95-1-007.pdf (beliebiger Volltext), 801KB
Radhakrishnan, J., & Saluja, S.(1995). Interactive Proof Systems (MPI-I-1995-1-007). Saarbrücken: Max-Planck-Institut für Informatik.