About Program Termination and Simplification. - F. Ermine; Irène Guessarian (Symposium on Programming, 1980)