Maliuginas, Andrius, ir Karolis Petrauskas. 2024. „Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine“. Vilnius University Open Series, gegužės, 98-105. https://doi.org/10.15388/LMITT.2024.14.