Richard Johnson Michael S. Schlansker Analysis Techniques for Predicated Code. 100-113 1996 MICRO http://portal.acm.org/citation.cfm?id=243846.243867 db/conf/micro/micro96.html#JohnsonS96