, 1969, Natural deduction and transformation analysis, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 125-129.