Kontrimas, Mantas, ir Karolis Petrauskas. „,Redis Cluster‘ podėlio Sistemos Tyrimas, Taikant Formalius Metodus“. Vilnius University Open Series (gegužės 14, 2021): 34–43. žiūrėta spalio 27, 2025. https://test.zurnalai.vu.lt/open-series/article/view/24029.