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