Structured mathematical proofs

Here is a lecture on how to write structured proofs for mathematical theorems, by Leslie Lamport.

I have started adopting this writing style when I write papers and I think it is really helpful and makes the paper more comprehensible and elegant.