How to write a long formula
Leslie Lamport · Formal Aspects of Computing · 1994
Abstract Standard mathematical notation works well for short formulas, but not for the longer ones often written by computer scientists. Notations are proposed to make one or two-page formulas easier to read and reason about.