Abrashkin, V. (1997). Explicit formulae for the Hilbert symbol of a formal group over the Witt vectors. Izvestiya: Mathematics, 61(3), 463-515. https://doi.org/10.1070/im1997v061n03abeh000122