E. Dlugauskas and K. Petrauskas, “Formalizing IOTA Extended UTXO in Isabelle”, open-series, pp. 26–35, May 2024, doi: 10.15388/LMITT.2024.3.