tlaplus/DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification