Formal methods in the study of language - Groenendijk, J. A. G. 1949-2023 (Mathematical Centre tracts, 1981)