ParentFull threadveeralpatel979·I liked the Practical TLA+ book:https://www.apress.com/gp/book/9781484238288View on HN