On Thompson's finiteness theorem - Lang, M.L. (2014)
10.1016/j.jalgebra.2004.10.019