Comment by franz899

I recommend "Practical TLA+" too; it introduces TLA+ in a more approachable way than other resources.

Link to the book: https://www.apress.com/gp/book/9781484238288