Pitman, J. (2000). Sumsets of Finite Beatty Sequences. The Electronic Journal of Combinatorics, 8(2), R15. https://doi.org/10.37236/1614