Jean-Philippe Métivier Patrice Boizumault Samir Loudni Softening Gcc and Regular with preferences. 1392-1396 2009 SAC http://doi.acm.org/10.1145/1529282.1529593 conf/sac/2009 db/conf/sac/sac2009.html#MetivierBL09