Residuals and detachments (Inst. für Informatik, 2005)