Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language - Michael Yoshitaka Erlewine (Computational Linguistics, 2021)