Gregorics, T. Programming Theorems on Enumerator. Teach. Math. Comp. Sci. 2010, 8 (1), 89-108. https://doi.org/10.5485/TMCS.2010.0243.