The TLA+ Hyperbook releasedhttp://research.microsoft.com/en-us/um/people/lamport/tla/hyperbook.html by kumarshantanu • 13 years ago 1 0 13 years agoREresearch.microsoft.com