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