Smith, S. M.; Watkins, M. E. Bounding the Distinguishing Number of Infinite Graphs and Permutation Groups. Electron. J. Combin. 2014, 21, P3.40.