MALIUGINAS, Andrius; PETRAUSKAS, Karolis. Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. Vilnius University Open Series, [S. l.], p. 98–105, 2024. DOI: 10.15388/LMITT.2024.14. Disponível em: https://test.zurnalai.vu.lt/open-series/article/view/35369. Acesso em: 26 oct. 2025.