E. Dlugauskas ir K. Petrauskas, „Formalizing IOTA Extended UTXO in Isabelle“, open-series, p. 26–35, geg. 2024, doi: 10.15388/LMITT.2024.3.