D. Bražėnas ir K. Petrauskas, „TLA+ specifikacijų išskyrimas iš Elixir programos“, open-series, p. 5–14, geg. 2023, doi: 10.15388/LMITT.2023.1.