About Program Termination and Simplification.

F. Ermine Irène Guessarian About Program Termination and Simplification. 123-135 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#ErmineG80