Formal analysis of natural languages proc.1970 by