Robert Kennedy Fred C. Chow Peter Dahl Shin-Ming Liu Raymond Lo Mark Streich Strength Reduction via SSAPRE. 144-158 1998 conf/cc/1998 CC db/conf/cc/cc98.html#KennedyCDLLS98 http://dx.doi.org/10.1007/BFb0026428