A characterization of Moessner's sieve. - Christian Clausen; Olivier Danvy; Moe Masuko (Theor. Comput. Sci., 2014)