T. Gregorics, “Programming theorems on enumerator”, Teach. Math. Comp. Sci., vol. 8, no. 1, pp. 89–108, Jun. 2010, doi: 10.5485/TMCS.2010.0243.