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