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