Automatic Documentation and Mathematical Linguistics (Allerton Press, 1967)