TY  - RPRT
TI  - TLA+: Whence, Wherefore, and Whither
AU  - Lamport, Leslie
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024462
ID  - 20100024462
ER  -