Smith, Simon M, Thomas W Tucker, and Mark E Watkins. 2012. “Distinguishability of Infinite Groups and Graphs”. The Electronic Journal of Combinatorics 19 (2), P27. https://doi.org/10.37236/2283.