Feng Z. Formal Analysis for Natural Language Processing. A Handbook 2023