Maliuginas, A. and Petrauskas, K. (2024) “Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine”, Vilnius University Open Series, pp. 98–105. doi:10.15388/LMITT.2024.14.