3 works on record
Kategorien und Automate
Kongruenzen, Konstruktion von Limiten und Cokernen und algebraische Kategorien
Universal algebra in s-monoidal categories