Dlugauskas, E. ir Petrauskas, K. (2024) „Formalizing IOTA Extended UTXO in Isabelle“, Vilnius University Open Series, p. 26–35. doi:10.15388/LMITT.2024.3.