• 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
• Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-85125740252&origin=inward&txGid=8f348c5516ec713375880cc196a8c98a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000830247200004
• Theory of átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill https://doi.org/10.1016/j.tcs.2014.04.016 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-84926689142&origin=inward&txGid=bf428d200d54b0c2ba0cb204a9b3c395 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000338598500002
• Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisTheoretical computer science2024 / art. 114581, 15 p. : ill https://doi.org/10.1016/j.tcs.2024.114581 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-85190994305&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Yet+another+canonical+nondeterministic+automaton%22%29&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001233630800001