发送短信 : On the residual finiteness of certain generalised free products and HNN extensions /