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