Annalisa Bossi Nicoletta Cocco Sandro Etalle Transformation of Left Terminating Programs. 156-175 1999 conf/lopstr/1999 LOPSTR db/conf/lopstr/lopstr99.html#BossiCE99