Designing Programs That Check Their Work (1989)

by Manuel Blum, Sampath Kannan