Hu, Kai, et al. “Finding Bit-Based Division Property for Ciphers With Complex Linear Layers”. IACR Transactions on Symmetric Cryptology, vol. 2020, no. 1, May 2020, pp. 396-24, doi:10.13154/tosc.v2020.i1.396-424.