Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications - Ignazio Mauro Mirto, Mario Monteleone, Max Silberztein (Springer, 2019)