Wayne Kelly William Pugh Finding Legal Reordering Transformations Using Mappings. 107-124 1994 conf/lcpc/1994 LCPC db/conf/lcpc/lcpc1994.html#KellyP94