Formalization of Natural Languages door P. Kümmel