Dlugauskas E, Petrauskas K. Formalizing IOTA Extended UTXO in Isabelle. open-series [Internet]. 2024 May 13 [cited 2024 Jul. 17];:26-35. Available from: https://www.journals.vu.lt/open-series/article/view/35357