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