Robin Sharp Ole Rasmussen Rewriting with Constraints in T-Ruby. 226-241 1993 conf/charme/1993 CHARME db/conf/charme/charme1993.html#SharpR93