Designing programs that check their work (1989)

by M Blum, S Kannan
Venue:In STOC ’89