Residually finite groups - Lim, Hui Min (2012)