Dlugauskas, Edvardas, and Karolis Petrauskas. “Formalizing IOTA Extended UTXO in Isabelle”. Vilnius University Open Series, May 2024, pp. 26-35, https://doi.org/10.15388/LMITT.2024.3.