Maliuginas, Andrius, and Karolis Petrauskas. “Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine”. Vilnius University Open Series, May 2024, pp. 98-105, https://doi.org/10.15388/LMITT.2024.14.