@techreport{lamport1994introduction,
author = {Lamport, Leslie},
title = {Introduction to TLA},
year = {1994},
month = {December},
abstract = {This is a very brief (7-page) introduction to what TLA formulas mean.},
url = {http://approjects.co.za/?big=en-us/research/publication/introduction-to-tla/},
edition = {SRC Technical Note 1994-001 (December 1994).},
number = {1994-001},
note = {The Annals of Statistics},
}