Smith, S. M.; Tucker, T. W.; Watkins, M. E. Distinguishability of Infinite Groups and Graphs. Electron. J. Combin. 2012, 19, P27.