Dr. TLA+ series - learn an algorithm and protocol, study a specification - View it on GitHub