On Thursday, July 10, 2014 11:16:37 PM UTC-4, Leslie Lamport wrote: > If you want to learn to use the Toolbox, read the Hyperbook. Thank you. The hyberbook helped me a lot. However, it seems to me that Hyperbook duplicates some content of your book on specifying the system. What's the best way to learn TLA+ for distributed algorithms? Should I read Hyperbook or the book or both? Thanks, Konstantin