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