S. M. Smith, T. W. Tucker, and M. E. Watkins, “Distinguishability of Infinite Groups and Graphs”, Electron. J. Combin., vol. 19, no. 2, p. P27, Jun. 2012.