Urbak, P. and Danvy, O. 2017. A Formal Study of Moessner’s Sieve. Aarhus University.