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