Kidmose, A. B.; Tiessen, T. A Formal Analysis of Boomerang Probabilities. ToSC 2022, 2022, 88-109.