Formalizing Natural Languages with NooJ and Its Natural Language Processing Applications - Mbarki (Springer International Publishing, 2018)