Smith, S. M., T. W. Tucker, and M. E. Watkins. “Distinguishability of Infinite Groups and Graphs”. The Electronic Journal of Combinatorics, Vol. 19, no. 2, June 2012, p. P27, doi:10.37236/2283.