Leslie Lamport: The Specification Language TLA+
in In Logics of Specification Languages
2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition
Dines Bjarner and Martin C. Henson
This is a “review” of a chapter by Stephan Merz in the same book. It is mainly a brief account of the history behind TLA and TLA+. It includes an interesting quote from Brannon Battson. (See [146].)