Urbak, P.; Danvy, O. A Formal Study of Moessner’s Sieve; Monografier; AU Library Scholarly Publishing Services: Aarhus, DK, 2017.