J. Pitman, “Sumsets of Finite Beatty Sequences”, Electron. J. Combin., vol. 8, no. 2, p. R15, Aug. 2000.