Designing programs that check their work (1989)

by M Blum, S Kannan
Venue:In Proc. 21st ACM Symposium on the Theory of Computing