Bražėnas, D. ir Petrauskas, K. 2023. TLA+ specifikacijų išskyrimas iš Elixir programos. Vilnius University Open Series. (geg. 2023), 5–14. DOI:https://doi.org/10.15388/LMITT.2023.1.