Formalizing Natural Languages with NooJ and Its Natural Language Processing Applications - Samir Mbarki, Mohammed Mourchid, Max Silberztein (Springer, 2018)