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