Kontrimas, Mantas, ir Karolis Petrauskas. „,Redis Cluster‘ podėlio Sistemos Tyrimas, Taikant Formalius Metodus“. Vilnius University Open Series, 2021 m.gegužės, p. 34-43, https://doi.org/10.15388/LMITT.2021.4.