Bražėnas, D.; Petrauskas, K. TLA+ Specifikacijų išskyrimas Iš Elixir Programos. open-series 2023, 5-14. https://doi.org/10.15388/LMITT.2023.1.