Looking for an up-to-date formal book on distributed systems