Derbez, P., and P.-A. Fouque. “Increasing Precision of Division Property”. IACR Transactions on Symmetric Cryptology, Vol. 2020, no. 4, Dec. 2020, pp. 173-94, doi:10.46586/tosc.v2020.i4.173-194.