1. Lyndon, R.C., Schupp, P.E. Combinatorial Group Theory (Springer-Verlag, New York, 1977).
2. Baumslag, B., Tretkoff, M. “Residually finite HNN-extensions”, Comm. Algebra 6 (2), 179–194 (1978).
3. Moldavanskii, D.I. “Residual finiteness of descending HNN-extension of groups”, Ukrainian Math. J. 44 (6), 758–760 (1992).
4. Moldavanskii, D.I. “Residuality by finite p-groups of HNN-extensions”, Vestnik of Ivanovo State University. Ser.: Biology, Chemistry, Physics, Mathematics 3, 129–140 (2000) [in Russian].
5. Moldavanskii, D.I. “Residual finiteness of some HNN-extensions of groups”, Vestnik of Ivanovo State University. Ser.: Biology, Chemistry, Physics, Mathematics 3, 123–133 (2002) [in Russian].