S. M. Smith and M. E. Watkins, “Bounding the Distinguishing Number of Infinite Graphs and Permutation Groups”, Electron. J. Combin., vol. 21, no. 3, p. P3.40, Sep. 2014.