. . . "TLA+" . . "TLA+ specification language" . . "TLA+#IDE" . "2014-01-15" . "TLA⁺" . "TLA+2" . . . . . . . "TLA+" . . . . "TLA+#Proof system" .