M. Kontrimas and K. Petrauskas, “„Redis Cluster“ podėlio sistemos tyrimas, taikant formalius metodus”, open-series, pp. 34–43, May 2021, doi: 10.15388/LMITT.2021.4.