Envoyer par SMS: Computers in language research formal methods