@conference {185,
	title = {TLA+ Proofs},
	booktitle = {18th Intl. Symp. Formal Methods (FM 2012)},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	address = {Paris, France},
	author = {Denis Cousineau and Damien Doligez and Leslie Lamport and Stephan Merz and Daniel Ricketts and Hern{\'a}n Vanzetto},
	editor = {Dimitra Giannakopoulou and Dominique M{\'e}ry}
}