''How To Write a Proof'' by Leslie Lamport — Lamport is famous for LaTeX, but seems quite a fan of formatting for the sake of clarity. In particular, the material presented here may be seen as an adaptation of his ideas to h-code.
Back to h-code