Describir: Ein verallgemeinertes Modell endlicher sequentieller Systeme und Beiträge zu deren Reduktionstheorie.