Maliuginas A, Petrauskas K. Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. open-series [Prieiga per internetą]. 2024 m.gegužės13 d. [žiūrėta 2025 m.spalio26 d.];:98-105. Adresas: https://test.zurnalai.vu.lt/open-series/article/view/35369