Dlugauskas E, Petrauskas K. Formalizing IOTA Extended UTXO in Isabelle. open-series [Prieiga per internetą]. 2024 m.gegužės13 d. [žiūrėta 2025 m.spalio28 d.];:26-35. Adresas: https://test.zurnalai.vu.lt/open-series/article/view/35357