Gregorics, T. (2010). Programming theorems on enumerator. Teaching Mathematics and Computer Science, 8(1), 89-108. https://doi.org/10.5485/TMCS.2010.0243