Practical TLA+ - Wayne, Hillel (Apress, 2020)