Gregorics, Tibor. 2010. “Programming Theorems on Enumerator”. Teaching Mathematics and Computer Science 8 (1): 89-108. https://doi.org/10.5485/TMCS.2010.0243.