Leslie Lamport is on this "how to write a proof" subject for long time. At least from 1995: http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html

Leslie Lamport is on this "how to write a proof" subject for long time. At least from 1995: http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-how-to-write http://research.microsoft.com/en-us/um/people/lamport/pubs/p...