Formalization of natural languages. - Kuemmel, Peter (Berlin : Springer Verlag, 1979)