Subgroup Separability of Certain HNN Extensions - Wong, P.C. (Rocky Mountain Mathematics Consortium, 1993)