TLA+ in Practice and Theory, Part 2: The + in TLA+

&quot;TLA+ in Practice and Theory Part 2: The <i>+</i> in TLA+&quot;