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