Computers in language research formal methods (Mouton Publ., 1979)