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