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