A. Maliuginas ir K. Petrauskas, „Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine“, open-series, p. 98–105, geg. 2024, doi: 10.15388/LMITT.2024.14.