https://9dok.net/document/qvl8948g-explicit-construction-of-rational-torsion-divisors-jacobians-curves.html