The node you are looking for is at Knuth 1965.