Perhaps this item is relevant: 

> Thomas Hales, _Formal Proof_, Notices of the AMS **55** Issue 11 (2008) pp 1370-1380. ([pdf](http://www.ams.org/notices/200811/tx081101370p.pdf))

And another item: Lamport's "structured proofs": 

>Leslie Lamport, _How to write a proof_ (1995) ([abstract](https://www.microsoft.com/en-us/research/publication/how-to-write-a-proof/))