Maliuginas, A. ir Petrauskas, K. 2024. Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. Vilnius University Open Series. (geg. 2024), 98–105. DOI:https://doi.org/10.15388/LMITT.2024.14.