Perhaps this item is relevant: http://www.ams.org/notices/200811/tx081101370p.pdf

And another item: Lamport's "structured proofs": http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-how-to-write.pdf