Hoch, S. ( 1989 ), ' Begriffsverbände mit Anti--Endomorphismus ', PhD thesis, TH Darmstadt .