Software reliability via run-time result-checking
Journal of the ACM
Manuel Blum
Stable distributions, pseudorandom generators, embeddings, and data stream computation