Dave Plummer: Gazing : A technique for controlling the use of rewrite rules. University of Edinburgh, UK 1987