references.bib

@book{specifying-systems,
  author    = {Lamport, Leslie},
  title     = {Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers},
  year      = {2002},
  isbn      = {032114306X},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  address   = {USA}
}

@inproceedings{amazon-tla,
  author    = {Newcombe, Chris},
  editor    = {Ait Ameur, Yamine and Schewe, Klaus-Dieter},
  title     = {{Why Amazon Chose TLA{\thinspace}+{\thinspace}}},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and Z},
  year      = {2014},
  publisher = {Springer Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  pages     = {25--39},
  isbn      = {978-3-662-43652-3}
}

@article{tla,
  author     = {Lamport, Leslie},
  title      = {{The Temporal Logic of Actions}},
  year       = {1994},
  issue_date = {May 1994},
  publisher  = {Association for Computing Machinery},
  address    = {New York, NY, USA},
  volume     = {16},
  number     = {3},
  issn       = {0164-0925},
  url        = {https://doi.org/10.1145/177492.177726},
  doi        = {10.1145/177492.177726},
  journal    = {ACM Trans. Program. Lang. Syst.},
  month      = may,
  pages      = {872–923},
  numpages   = {52},
  keywords   = {concurrent programming, safety properties, liveness properties}
}

@misc{website,
  author       = {Lamport, Leslie},
  title        = {{The TLA+ website}},
  howpublished = {\url{https://lamport.azurewebsites.net/tla/tla.html}}
}

@misc{video-course,
  author       = {Lamport, Leslie},
  title        = {{The TLA+ Video Course}},
  howpublished = {\url{http://lamport.azurewebsites.net/video/videos.html}}
}