Pitman, J. Sumsets of Finite Beatty Sequences. Electron. J. Combin. 2000, 8, #R15.