Data refinement by rewriting. - Ivan Sanabria-Piretti (2001)