Dlugauskas, E.; Petrauskas, K. Formalizing IOTA Extended UTXO in Isabelle. open-series 2024, 26-35. https://doi.org/10.15388/LMITT.2024.3.