Algebraic notions of termination (Inst. für Informatik, 2006)