The TLA+ Hyperbook released #1 Post by kumarshantanu » Fri, May 24, 2013, 2:10 PM UTC The TLA+ Hyperbook releasedresearch.microsoft.com