Gregorics, Tibor. “Programming Theorems on Enumerator”. Teaching Mathematics and Computer Science 8, no. 1 (June 1, 2010): 89–108. Accessed September 27, 2024. https://ojs.lib.unideb.hu/tmcs/article/view/14867.