- Manuel Blum. A
machine-independent theory of the complexity of recursive functions.
Journal of the ACM, 14(2):322-336, April 1967.
References
and Citations.
- Manuel Blum. On effective
procedures for speeding up algorithms. Journal of the
ACM, 18(2):290-305, April 1971.
References,
Citations,
etc.
- John Gill and Manuel Blum. On almost everywhere complex
recursive functions. Journal of the ACM, 21(3):425-435,
July 1974.
References,
etc.
- Manuel Blum and Sampath Kannan. Designing programs that check their
work. Journal of the ACM, 42(1):269-291, January 1995.
Abstract,
References,
Citations,
etc.
- Hal Wasserman and Manuel Blum. Software reliability via
run-time result-checking. Journal of the ACM,
44(6):826-849, November 1997.
References,
etc.
Shortcuts: