Urbak, Peter, and Olivier Danvy. 2017. A Formal Study of Moessner’s Sieve. Monografier. Aarhus, DK: AU Library Scholarly Publishing Services. https://ebooks.au.dk/aul/catalog/book/213.