Haland, I. J. and Knuth, D. E. (1995) “Polynomials Involving the Floor Function”., MATHEMATICA SCANDINAVICA, 76, pp. 194–200. doi: 10.7146/math.scand.a-12534.