How to write a long formula (1994)

by Leslie Lamport
Venue:Formal Aspects of Computing