On the residual finiteness of certain generalised free products and HNN extensions - Koay, Hang Leen (1988)