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