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