Decision problems and profinite completions of groups - Martin R. Bridson (2008)