Operational and Semantic Equivalence between Recursive Programs

Operational and Semantic Equivalence between Recursive Programs Jean-Claude Raoult Jean Vuillemin 75-85 conf/stoc/STOC10 1978 STOC db/conf/stoc/stoc78.html#RaoultV78