Gregorics, T. (2010) “Programming theorems on enumerator”, Teaching Mathematics and Computer Science, 8(1), pp. 89–108. doi:10.5485/TMCS.2010.0243.