[ACM] CACM 6(12) (Dec 1963)
(1963)
(1957)
Communications of the ACM
Barnett, M. P. (1963)
Barnett, M. P. "Indexing and the A-notation" pp740-745
Shaw Christopher J. (1963)
Shaw Christopher J. "A specification of JOVIAL"