DLUGAUSKAS, Edvardas; PETRAUSKAS, Karolis. Formalizing IOTA Extended UTXO in Isabelle. Vilnius University Open Series, [S. l.], p. 26–35, 2024. DOI: 10.15388/LMITT.2024.3. Disponível em: https://www.journals.vu.lt/open-series/article/view/35357. Acesso em: 11 apr. 2025.