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 June 30, 2024. https://www.journals.vu.lt/open-series/article/view/35369.