Mathematical Ling. And Automatic Translation : Nat. Sci. Foundation (Harvard Univ. Cambridge, 1966)