Knuth , Ning , sr.