Dlugauskas, Edvardas, and Karolis Petrauskas. “Formalizing IOTA Extended UTXO in Isabelle”. Vilnius University Open Series (May 13, 2024): 26–35. Accessed July 17, 2024. https://www.journals.vu.lt/open-series/article/view/35357.