A. John Power: An Abstract Formulation for Rewrite Systems. Category Theory and Computer Science 1989: 300-312