1. Efficient checkers for number-theoretic computations;Adleman;Inform. Comput.,1995
2. L. Babai, Monte Carlo algorithms in graph isomorphism testing, TR 79-10, Dept. Math. et Stat., Univ. de Monréal, 1979.
3. Structural Complexity I & II, EATCS Monographs on Theoretical Computer Science;Balcázar,1989
4. Designing programs that check their work;Blum;J. ACM,1995
5. Self-testing/correcting with applications to numerical problems;Blum;J. Comput. System Sci.,1993