Practical TLA+ - häftad, Engelska, 2018