AUTOMAST: automatic mathematical analysis and symbolic translation. - William E. Ball; Robert I. Berns (Commun. ACM, 1966)