Over-all Computation Control and Labelling
CACM November, 1960
Holt, A.
