“The design of Xoodoo and Xoofff”, ToSC, vol. 2018, no. 4, pp. 1–38, Dec. 2018, doi: 10.13154/tosc.v2018.i4.1-38.