David Butler, David Aspinall, Adrià Gascón: On the Formalisation of Σ-Protocols and Commitment Schemes. POST 2019: 175-196