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