PROSELYTE
Software Engineering
Дизайн распределенных систем
СAP теорема