How to write a proof (1993)

by Leslie A Lamport