Graph Rewriting for Hardware Dependent Program Optimizations. - Andreas Schösser; Rubino Geiß (AGTIVE, 2007)