Links for distributed-systems-engineering-lecture-notes-mit-6-824