Formalization of natural languages - Kuemmel, Peter (Communication and Cybernetics ;, 1979)