Residuals in Higher-Order rewriting by H.J.S. Bruggink