⁴See Knuth  [46].