There's also an awesome blog about distributed systems correctness by Kyle Kingsbury at https://aphyr.com/