⁴See Knuth  [48].