Computers in language research formal methods (Mouton Publishers, 1979)