@article{cousineau2012tla,
author = {Cousineau, Denis and Doligez, Damien and Lamport, Leslie and Merz, Stephan and Ricketts, Daniel and Vanzetto, Hernan},
title = {TLA+ Proofs},
year = {2012},
month = {January},
abstract = {This is a short paper describing TLAPS, the TLA+ proof system being developed at the Microsoft Research-INRIA Joint Centre.},
url = {http://approjects.co.za/?big=en-us/research/publication/tla-proofs/},
pages = {147-154},
journal = {Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science},
volume = {7436},
}