Distributed operating systems & algorithms - Chow, Randy (Pearson, 2009)