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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Абстрактные типы данныхPungar, PeeterПроблемы базы данных, построения трансляторов и анализа данных1981 / с. 45-50 https://www.ester.ee/record=b1317426*est