- 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 https://www.scopus.com/sourceid/13012 https://www.scopus.com/record/display.uri?eid=2-s2.0-84874463973&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1051%2Fita%2F2012026%29&sessionSearchId=08e7c58f88aea92900d731f06ee215ed https://jcr.clarivate.com/jcr-jp/journal-profile?journal=RAIRO-THEOR%20INF%20APPL&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000315619400001
- 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