Tieudjo, D. (2010). Root-class residuality of some free constructions. Jp Journal of Algebra, Number Theory and Applications, 18(2), 125-143.