Traina, 1980. Trace polynomial for two-generator subgroups of ${\rm SL}(2,\,{\bf C})$ 79.. https://doi.org/10.1090/s0002-9939-1980-0567974-7