Bražėnas, Deividas, and Karolis Petrauskas. 2023. “TLA+ Specifikacijų išskyrimas Iš Elixir Programos”. Vilnius University Open Series, May, 5-14. https://doi.org/10.15388/LMITT.2023.1.