Maliuginas, Andrius, ir Karolis Petrauskas. „Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine“. Vilnius University Open Series (gegužės 13, 2024): 98–105. žiūrėta spalio 26, 2025. https://test.zurnalai.vu.lt/open-series/article/view/35369.