Kontrimas, M. and Petrauskas, K. 2021. „Redis Cluster“ podėlio sistemos tyrimas, taikant formalius metodus. Vilnius University Open Series. (May 2021), 34–43. DOI:https://doi.org/10.15388/LMITT.2021.4.