• Andmestruktuuride lühikursus : õpikJürgenson, Rein, inform.2000 https://www.ester.ee/record=b1378204*est
• 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
• Partiality via coinductive types (abstract)Uustalu, TarmoOberwolfach reports / European Mathematical Society2005 / p. 807
• Teadmised sisalduvad ainult andmetesTõugu, EnnAkadeemia2018 / lk. 1956-1965 http://www.ester.ee/record=b1071914*est https://dea.digar.ee/article/AKakadeemia/2018/11/0/8
• Using metamodeling in order to evaluate datamodelsEessaar, ErkiProceedings of the 6th WSEAS International conference on artificial Intelligence, Knowledge Engineering and Data Bases : Corfu Island, Greece, February 16-19, 20072007 / p. 181-186 https://www.researchgate.net/publication/254470284_Using_Metamodeling_in_order_to_Evaluate_Data_Models
• When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoFoundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of The European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings2012 / p. 74-88 : ill https://artiklid.elnet.ee/record=b2491247*est
• When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908291183&origin=inward&txGid=3a9bf44be0ff74f7f537c2f41be9a2a6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000347714800024
• Абстрактные типы данныхPungar, PeeterПроблемы базы данных, построения трансляторов и анализа данных1981 / с. 45-50 https://www.ester.ee/record=b1317426*est