Annie Despland Monique Mazaud Raymond Rakotozafy Using Rewriting Techniques to Produce Code Generators and Proving Them Correct. 15-54 1990 15 Sci. Comput. Program. 1 db/journals/scp/scp15.html#DesplandMR90