Angereicherte Doppelkategorien und deren Anwendung in der Automatentheorie. - Ulrich Buchin (1987)