M. Kontrimas ir K. Petrauskas, „,Redis Cluster‘ podėlio sistemos tyrimas, taikant formalius metodus“, open-series, p. 34–43, geg. 2021, doi: 10.15388/LMITT.2021.4.