How to write proofs. http://www.research.digital.com/SRC/personal/Leslie Lamport/proofs/proofs.html (1993)

by L LAMPORT