Formalizing natural languages : the NooJ approach /: the NooJ approach. (2016)