A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs (1996)

by Ronitt Rubinfeld