BRAŽĖNAS, Deividas; PETRAUSKAS, Karolis. TLA+ specifikacijų išskyrimas iš Elixir programos. Vilnius University Open Series, [S. l.], p. 5–14, 2023. DOI: 10.15388/LMITT.2023.1. Disponível em: https://www.zurnalai.vu.lt/open-series/article/view/32213. Acesso em: 21 apr. 2025.