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