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