Rewriting Procedures Generalise to Kan Extensions of Actions of Categories - Anne Heyworth (1999)