Formal Analysis for Natural Language Processing: A Handbook - Feng, Zhiwei (Springer Nature Singapore, 2023)