Sophie Renault Generalizing Extended Execution for Normal Programs. 154-169 1994 conf/lopstr/1994 LOPSTR db/conf/lopstr/lopstr94.html#Renault94