Iteration and coiteration schemes for higher-order and nested datatypesAbel, Andreas; Matthes, Ralph; Uustalu, TarmoTheoretical computer science2005 / 1/2, p. 3-66 https://www.sciencedirect.com/science/article/pii/S0304397504007078

PrefaceMatthes, Ralph; Uustalu, TarmoRAIRO - Theoretical Informatics and Applications2013 / p. 1-2 https://doi.org/10.1051/ita/2012026 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedingsMatthes, Ralph; Uustalu, Tarmo2009 https://www.ester.ee/record=b2506216*est