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