Greg Dennis Robert Seater Derek Rayside Daniel Jackson Automating commutativity analysis at the design level. 165-174 2004 conf/issta/2004 ISSTA http://doi.acm.org/10.1145/1007512.1007535 db/conf/issta/issta2004.html#DennisSRJ04