The Design of Xoodoo and Xoofff. ToSC 2018, 2018 (4), 1-38. https://doi.org/10.13154/tosc.v2018.i4.1-38.