Formalization of natural languages - Kümmel, Peter (rz1, 1979)