Urbak, P. and Danvy, O. 2017. A Formal Study of Moessner’s Sieve. AU Library Scholarly Publishing Services.