Termination Analysis for Mercury. - Chris Speirs; Zoltan Somogyi; Harald Søndergaard (SAS, 1997)