At Northeastern we use this guide as the canonical “textbook” for the graduate distributed systems course.