A Specification of JOVIAL
CACM December, 1963
Shaw, C. J.
