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