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