John Black Martin Cochran MAC Reforgeability. 345-362 2009 FSE http://dx.doi.org/10.1007/978-3-642-03317-9_21 conf/fse/2009 db/conf/fse/fse2009.html#BlackC09