Dlugauskas, Edvardas, ir Karolis Petrauskas. „Formalizing IOTA Extended UTXO in Isabelle“. Vilnius University Open Series (gegužės 13, 2024): 26–35. žiūrėta spalio 29, 2025. https://test.zurnalai.vu.lt/open-series/article/view/35357.