@Article{lamport95a,
  author =	 {Leslie Lamport},
  title =	 {How to Write a Proof},
  googleid = 	 {Xzl9TWX9MNYJ:scholar.google.com/},
  journal =	 {American Mathematical Monthly},
  year =	 1995,
  abstract =	 {A method of writing proofs is proposed that makes it
                  much harder to prove things that are not true. The
                  method, based on hierarchical structuring, is simple
                  and practical.},
  keywords =     {math},
  url =		 {http://jmvidal.cse.sc.edu/library/lamport95a.pdf},
  cluster = 	 {15434114534532266335}
}