Maliuginas, Andrius, and Karolis Petrauskas. “Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine”. Vilnius University Open Series (May 13, 2024): 98–105. Accessed July 17, 2024. https://www.zurnalai.vu.lt/open-series/article/view/35369.