Helmut Emmelmann Code Selection by Regularly Controlled Term Rewriting. 3-29 1991 Code Generation db/conf/dagstuhl/code1991.html#Emmelmann91