Pitman, J. “Sumsets of Finite Beatty Sequences”. The Electronic Journal of Combinatorics, Vol. 8, no. 2, Aug. 2000, p. R15, doi:10.37236/1614.