Arithmetizing Declarations: An Application to COBOL
CACM January, 1963
Conway, M. E.
Speroni, J.
