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