Wong, P.C. (1993) Subgroup Separability of Certain HNN Extensions. Rocky Mountain Journal of Mathematics, 23 (1). pp. 391-394. ISSN 0035-7596, DOI https://doi.org/10.1216/rmjm/1181072631.