1. N. Alon, J. H. Spencer, The Probabilistic Method, John Wiley & Sons, New-York, 1992.
2. S. Arora, C. Lund, R. Motwani, M. Szegedy and M. Sudan, Proof Verification and the Hardness of Approximations, Proc. 33rd IEEE Symp. on Foundation of Computer Science, 1992, to appear.
3. S. Arora and M. Safra Probabilistic Checking of Proofs Proc. 33rd IEEE Symp. on Foundation of Computer Science, 1992, to appear.
4. L. Babai, L. Fortnow, L. Levin and M. Szegedy Checking Computations in Polylogarithmic Time Proc. 23rd ACM Symposium on Theory of Computing, 1991, pp. 21–31.
5. L. Babai, L. Fortnow, C. Lund, Non-Deterministic. Exponential Time has Two-Prover Interactive Protocols, Proc. 31st IEEE Symp. on Foundation of Computer Science, 1990, pp. 16–25.