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