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