Formal methods in the study of language - Groenendijk, J. A. G. 1949-2023 (Mathematisch Centrum, Amsterdam: Mathematical Centre tracts, 1983)