@inproceedings{chaudhuri2008a,
author = {Chaudhuri, Kaustuv and Doligez, Damien and Lamport, Leslie and Merz, Stephan},
title = {A TLA+ Proof System},
booktitle = {Proceedings of the LPAR Workshops, CEUR Workshop},
year = {2008},
month = {August},
abstract = {This is a description of the TLA+ constructs for writing formal proofs, and a preliminary description of the TLA proof system.  It includes an appendix with a formal semantics of TLA+ proofs.},
url = {http://approjects.co.za/?big=en-us/research/publication/tla-proof-system/},
pages = {17-37},
volume = {418},
edition = {Proceedings of the LPAR Workshops, CEUR Workshop},
}