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: 16 may. 2024.