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