Formalization of natural languages. - Kuemmel, Peter (Communications and Cybernetics, 1979)