PITMAN, J. Sumsets of Finite Beatty Sequences. The Electronic Journal of Combinatorics, v. 8, n. 2, p. R15, 15 Aug. 2000.