Formal methods in the study of language

@inproceedings{Groenendijk1983FormalMI,
  title={Formal methods in the study of language},
  author={Jeroen Groenendijk and Theo M. V. Janssen and M. J. B. Stokhof},
  year={1983}
}