@inbook{lamport2008leslie,
author = {Lamport, Leslie},
title = {Leslie Lamport: The Specification Language TLA+},
editor = {Dines Bjarner and Martin C. Henson},
booktitle = {In Logics of Specification Languages},
year = {2008},
month = {August},
abstract = {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].)},
url = {http://approjects.co.za/?big=en-us/research/publication/leslie-lamport-specification-language-tla/},
pages = {616-620},
edition = {In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors.},
}