Bražėnas D, Petrauskas K. TLA+ specifikacijų išskyrimas iš Elixir programos. open-series [Prieiga per internetą]. 2023 m.gegužės11 d. [žiūrėta 2025 m.spalio26 d.];:5-14. Adresas: https://test.zurnalai.vu.lt/open-series/article/view/32213