Distributed computing systems : comunication, cooperation, consistency - Andre, Francoise (Elsevier, 1985)