How to Write a Proof. Research Report 94 (1993)

by L Lamport
Venue:DEC Systems Reserach