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