Knuth , H . Exc.