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