Kidmose, A. B., and T. Tiessen. “A Formal Analysis of Boomerang Probabilities”. IACR Transactions on Symmetric Cryptology, vol. 2022, no. 1, Mar. 2022, pp. 88-109, doi:10.46586/tosc.v2022.i1.88-109.