Manuel Blum Manuel Blum Manuel Blum. On effective procedures for speeding up algorithms. References and Citations. Manuel Blum, Robert W. Floyd, Vaughan Pratt, Ronald L. Rivest, and Robert E. Tarjan.
Linear time bounds for median computations.
Manuel Blum, Paul Feldman, and Silvio Micali. Manuel Blum and Sampath Kannan. Designing programs that check their work. Manuel Blum, Michael Luby, and Ronitt Rubinfeld. S. Ar, M. Blum, B. Codenotti, and P. Gemmell.