Urbak, P.; Danvy, O. A Formal Study of Moessner’s Sieve; Andre; Aarhus Universitet: Aarhus, DK, 2017. https://doi.org/10.7146/aul.213.154.