https://123dok.net/document/qvl7njv1-combinatorial-mapping-torus-branched-surfaces-free-group-automorphisms.html