Dlugauskas, Edvardas, ir Karolis Petrauskas. „Formalizing IOTA Extended UTXO in Isabelle“. Vilnius University Open Series, 2024 m.gegužės, p. 26-35, https://doi.org/10.15388/LMITT.2024.3.