This book won an award for its cover design at the New England Book Show. A production editor at Addison-Wesley wrote: For those of you who are unfamiliar with the Book Show, I think of it as the Emmys of book production. Many different publishers participate, competition is steep, and there [are] often hundreds of nominations for the judges to review. The book Specifying Systems: The TLA+ Languag