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