F. Ermine, Irène Guessarian: About Program Termination and Simplification. Symposium on Programming 1980: 123-135