Kollár, J., Porubän, J., & Václavík, P. (2006). From Eager PFL. Computing and Informatics, 25(1), 61–80. https://cai.type.sk/content/2006/1/from-eager-pfl/