Designing Programs that Check Their Work.

Manuel Blum Sampath Kannan Designing Programs that Check Their Work. 269-291 1995 42 J. ACM 1 db/journals/jacm/jacm42.html#BlumK95 http://doi.acm.org/10.1145/200836.200880