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.