Text this: Halbringe: Algebraische Theorie und Anwendungen in der Informatik