Kontrimas, Mantas, and Karolis Petrauskas. “„Redis Cluster“ podėlio Sistemos Tyrimas, Taikant Formalius Metodus”. Vilnius University Open Series, May 2021, pp. 34-43, https://doi.org/10.15388/LMITT.2021.4.